Artificial Intelligence and Symbolic Computation

DOI10.1007/b100361zbMath1109.03313MaRDI QIDQ5464718

Peep Küngas

Publication date: 19 August 2005

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

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

Mathematics Subject Classification ID

03B35: Mechanization of proofs and logical operations

68N17: Logic programming

03F52: Proof-theoretic aspects of linear logic and other substructural logics

Related Items

On linear logic planning and concurrency