FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
From MaRDI portal
Publication:5465863
DOI10.1007/b104325zbMath1117.03340MaRDI 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
03B70: Logic in computer science
03D05: Automata and formal grammars in connection with logical questions
08A70: Applications of universal algebra in computer science
03B35: Mechanization of proofs and logical operations
08A30: Subalgebras, congruence relations
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
03C05: Equational classes, universal algebra in model theory
Related Items