An Operational Semantics for Weak PSL
Artikel i vetenskaplig tidskrift, 2004
Författare
Koen Lindström Claessen
Chalmers, Institutionen för datavetenskap, Funktionell programmering
Chalmers, Institutionen för datavetenskap, Formella metoder
Johan Mårtensson
Publicerad i
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 3312 s. 337-351Kategorisering
Ämneskategorier (SSIF 2011)
Data- och informationsvetenskap
Identifikatorer
DOI
10.1007/978-3-540-30494-4_24