Title :
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science
Abstract :
The following topics were dealt with: program logics; finite models; model checking and verification; theorem proving and artificial intelligence; concurrency; semantics; lambda-calculus and types; unification and rewriting; and linear logic
Keywords :
computer science; formal logic; artificial intelligence; computer science; concurrency; finite models; lambda-calculus; linear logic; model checking; program logics; rewriting; semantics; theorem proving; types; unification; verification;
Conference_Titel :
Logic in Computer Science, 1995. LICS '95. Proceedings., Tenth Annual IEEE Symposium on
Conference_Location :
San Deigo, CA, USA
Print_ISBN :
0-8186-7050-9
DOI :
10.1109/LICS.1995.523238
