UID:
almahu_9947920877702882
Format:
IV, 125 p.
,
online resource.
ISBN:
9783540478119
Series Statement:
Lecture Notes in Computer Science, 271
Note:
Theorem in proving and P-functions -- Grammars, logics and declarative programming -- Grammars and Semantics.
In:
Springer eBooks
Additional Edition:
Printed edition: ISBN 9783540182177
Language:
English
Subjects:
Computer Science
DOI:
10.1007/3-540-18217-9
URL:
http://dx.doi.org/10.1007/3-540-18217-9
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)