FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

DOI10.1007/b104325zbMath1117.03340OpenAlexW2950473912MaRDI QIDQ5465863

Sumit Gulwani, George C. Necula, Ashish Kumar Tiwari

Publication date: 12 August 2005

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

Full work available at URL: https://doi.org/10.1007/b104325

Mathematics Subject Classification ID

Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Applications of universal algebra in computer science (08A70) Mechanization of proofs and logical operations (03B35) Subalgebras, congruence relations (08A30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Equational classes, universal algebra in model theory (03C05)

Related Items

The map equality domain ⋮ Combining Equational Reasoning