Publication:3024833

From MaRDI portal

Jump to:navigation, search

zbMath1063.03512MaRDI QIDQ3024833

Gilles Dowek

Publication date: 4 July 2005

Mathematics Subject Classification ID

03B40: Combinatory logic and lambda calculus

Related Items

Theorem proving modulo

Uses Software

ETPS

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3024833&oldid=16057007"