Karel Chvalovský

From MaRDI portal
Person:831934

Available identifiers

zbMath Open chvalovsky.karelMaRDI QIDQ831934

List of research outcomes





PublicationDate of PublicationType
Mizar 60 for Mizar 502024-11-26Paper
ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description)2022-11-09Paper
Learning theorem proving components2022-05-25Paper
Fast and slow enigmas and parental guidance2022-03-24Paper
ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\)2020-03-10Paper
FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE2016-08-19Paper
UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS2015-08-14Paper
https://portal.mardi4nfdi.de/entity/Q54133542014-04-29Paper
On the independence of axioms in BL and MTL2012-11-21Paper
Note on deduction theorems in contraction-free logics2012-06-01Paper

Research outcomes over time

This page was built for person: Karel Chvalovský

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:831934&oldid=7042225"
Powered by MediaWiki