Proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding : September 30, 2005, Tallinn, Estonia

Proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding September 30, 2005, Tallinn, Estonia

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: Workshop on Mechanized Reasoning about Languages with Variable Binding (VerfasserIn), Association for Computing Machinery Special Interest Group on Programming Languages (BerichterstatterIn)
Weitere Verfasser: Momigliano, Alberto (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: New York, NY ACM Press 2005
Schlagworte:
Reasoning > Data processing > Programming languages (Electronic computers) > Congresses > Konferenzschrift > Programmiersprache > Beweistheorie > Operationale Semantik
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Auf der Haupttitels. auch: MERLIN '05
Beschreibung:VII, 64 S
ISBN:1595930728
1-59593-072-8