From Löwenheim to PSL and SVA

DOI10.1007/978-3-642-45321-2_5zbMath1486.68010OpenAlexW170500743MaRDI QIDQ5498742

Moshe Y. Vardi

Publication date: 10 February 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-45321-2_5

Mathematics Subject Classification ID

Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) History of computer science (68-03)

Related Items (1)

Unnamed Item

This page was built for publication: From Löwenheim to PSL and SVA