First-Order Logic

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Original language	English
Title of host publication	Verification of Object-Oriented Software: The KeY Approach
Editors	Bernhard Beckert and Reiner Hähnle and Peter H. Schmitt
Publisher	Springer
Pages	21-68
Number of pages	48
Volume	4334
ISBN (Print)	978-3-540-68977-5
Publication status	Published - 2007

Name	Lecture Notes in Computer Science (LNCS)

Fields of science

@inbook{9d6197aae02b418fad4f09e9f7db13eb,

title = "First-Order Logic",

author = "Martin Giese",

year = "2007",

language = "English",

isbn = "978-3-540-68977-5",

volume = "4334",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

pages = "21--68",

editor = "\{Bernhard Beckert and Reiner H{\"a}hnle and Peter H. Schmitt\}",

booktitle = "Verification of Object-Oriented Software: The KeY Approach",

}