Torna Indietro

Proceedings of the ... ACM SIGPLAN workshop on mechanized reasoning about languages with variable binding : MERLIN ...

Informazioni

Lo trovi in

Categoria

Testo

Natura

Periodico

Titolo

Proceedings of the ... ACM SIGPLAN workshop on mechanized reasoning about languages with variable binding : MERLIN ...

Nomi

Association for computing machinery : Special interest group on programming languages

Descrizione

Proceedings of the ... ACM SIGPLAN workshop on mechanized reasoning about languages with variable binding : MERLIN ... / sponsored by Association for computing machinery, Special interest group on programming languages (SIGPLAN)

Descrizione Fisica

Ill. ; 28 cm

Note

Periodicità non determinata<br>Descrizione basata su: 2005.

Luogo di pubblicazione

New York

Paese

STATI UNITI

Lingua

INGLESE

Fonte

Biblioteche SBN Sardegna

IT\ICCU\USM\1626498

Link Risorse

http://id.sbn.it/bid/USM1626498

Commenti

Carica altri

Scrivi un commento

Invia

Proceedings of the ... ACM SIGPLAN workshop on mechanized reasoning about languages with variable binding : MERLIN ...

Tag

The construction of the missile base in Comiso can be prevented!

The construction of the missile base in Comiso can be prevented!

Proceedings of the ... ACM SIGPLAN workshop on rule-based programming : *RULE ... / sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN)

Proceedings of the ... ACM SIGPLAN workshop on partial evaluation and semantics-based program manipulation : *PEPM ... / sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (ACM SIGPLAN)

The last vaudevillian : on the road with travelogue filmmaker John Holod

The last vaudevillian : on the road with travelogue filmmaker John Holod

Arrangements and fantasias on the Themes of the Ring by Richard Wagner : for symphonic band

From this moment on

Commenti

Regione Sardegna

Proceedings of the ... ACM SIGPLAN workshop on mechanized reasoning about languages with variable binding : MERLIN ...

Tag

The construction of the missile base in Comiso can be prevented!

The construction of the missile base in Comiso can be prevented!

Proceedings of the ... ACM SIGPLAN workshop on rule-based programming : *RULE ... / sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN)

Proceedings of the ... ACM SIGPLAN workshop on partial evaluation and semantics-based program manipulation : *PEPM ... / sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (ACM SIGPLAN)

The last vaudevillian : on the road with travelogue filmmaker John Holod

The last vaudevillian : on the road with travelogue filmmaker John Holod

Arrangements and fantasias on the Themes of the Ring by Richard Wagner : for symphonic band

From this moment on

Commenti