Volume B: Formal Models and Semantics
GPTKB entity
Statements (17)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:book
|
gptkbp:contributedTo |
gptkb:Moshe_Vardi
gptkb:Samson_Abramsky gptkb:Dexter_Kozen |
gptkbp:editor |
gptkb:Jan_van_Leeuwen
|
https://www.w3.org/2000/01/rdf-schema#label |
Volume B: Formal Models and Semantics
|
gptkbp:ISBN |
0-444-88074-7
|
gptkbp:language |
English
|
gptkbp:partOf |
gptkb:Handbook_of_Theoretical_Computer_Science
|
gptkbp:publicationYear |
1990
|
gptkbp:publisher |
gptkb:MIT_Press
gptkb:Elsevier |
gptkbp:subject |
semantics
theoretical computer science formal models |
gptkbp:bfsParent |
gptkb:Handbook_of_Theoretical_Computer_Science
|
gptkbp:bfsLayer |
8
|