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
|
| 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 |
gptkb:theoretical_computer_science
semantics formal models |
| gptkbp:bfsParent |
gptkb:Handbook_of_Theoretical_Computer_Science
|
| gptkbp:bfsLayer |
8
|
| http://www.w3.org/2000/01/rdf-schema#label |
Volume B: Formal Models and Semantics
|