Kluka, Jan - Department of Applied Informatics, Comenius University

Advanced Search

Browse by Discipline

Scientific Societies

E-print Network

FAQ • HELP • SITE MAP • CONTACT US

Powered by Explorit

Advanced Search

Kluka, Jan - Department of Applied Informatics, Comenius University

A Proof Calculus with Case Analysis as its Only Rule
A Simple Semantics for Destructive J an K luka
Congruence-Anticongruence Closure Jan Kl'uka
A Simple and Practical Valuation Tree Calculus for First-Order Logic

Website Policies/Important Links