Marc Bezem

Available identifiers

zbMath Open bezem.marcWikidataQ102216580 ScholiaQ102216580MaRDI QIDQ409313

List of research outcomes

Publication	Date of Publication	Type
On generalized algebraic theories and categories with families	2022-06-24	Paper
Loop-checking and the uniform word problem for join-semilattices with an inflationary endomorphism	2022-04-07	Paper
Construction of the circle in \textit{UniMath}	2021-06-09	Paper
A Note on Generalized Algebraic Theories and Categories with Families	2020-12-15	Paper
Skolem’s Theorem in Coherent Logic	2020-01-24	Paper
Construction of the Circle in UniMath	2019-10-04	Paper
The univalence axiom in cubical sets	2019-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q5224684	2019-07-24	Paper
Syntactic forcing models for coherent logic	2018-10-08	Paper
Improving IntSat by expressing disjunctions of bounds as linear constraints	2017-11-07	Paper
https://portal.mardi4nfdi.de/entity/Q5277833	2017-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q2968413	2017-03-13	Paper
A Kripke model for simplicial sets	2015-02-24	Paper
A Vernacular for Coherent Logic	2014-08-07	Paper
On streams that are finitely red	2012-10-22	Paper
Expressive power of digraph solvability	2012-04-13	Paper
Hard problems in max-algebra, control theory, hypergraphs and other areas	2010-09-02	Paper
https://portal.mardi4nfdi.de/entity/Q3395957	2009-09-15	Paper
Developing bounded reasoning	2009-03-24	Paper
Exponential behaviour of the Butkovič-Zimmermann algorithm for solving two-sided linear systems in max-algebra	2009-03-04	Paper
The Max-Atom Problem and Its Relevance	2009-01-27	Paper
Automating Coherent Logic	2008-05-27	Paper
Completeness and Decidability in Sequence Logic	2008-05-15	Paper
On the mechanization of the proof of Hessenberg's theorem in coherent logic	2008-02-18	Paper
Processes, Terms and Cycles: Steps on the Road to Infinity	2006-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q3024822	2005-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4665735	2005-04-11	Paper
A descriptive characterisation of even linear languages	2004-05-27	Paper
Automated proof construction in type theory using resolution	2003-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q4783309	2002-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q2723415	2001-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q4702566	2000-04-09	Paper
On the computational content of the axiom of choice	1999-06-21	Paper
Diagram techniques for confluence	1998-11-10	Paper
Two finite specifications of a queue	1998-07-23	Paper
Formalizing process algebraic verifications in the calculus of constructions	1997-08-17	Paper
Polymorphic extensions of simple type structures. With an application to a bar recursive minimization	1997-05-28	Paper
A simple proof of the undecidability of inhabitation in λP	1997-03-18	Paper
Undecidable goals for completed acyclic programs	1995-01-12	Paper
Strong termination of logic programs	1993-05-16	Paper
Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics	1993-01-01	Paper
Semantics and Consistency of Rule based Expert Systems	1992-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q3983042	1992-06-26	Paper
Completeness of resolution revisited	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3477990	1990-01-01	Paper
Compact and majorizable functionals of finite type	1989-01-01	Paper
Equivalence of bar recursors in the theory of functionals of finite type	1988-01-01	Paper
On estimating the complexity of logarithmic decomposition	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3807643	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3811747	1988-01-01	Paper
Isomorphisms between HEO and HROE, ECF and ICFE	1985-01-01	Paper
Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals	1985-01-01	Paper
Strong normalization of barrecursive terms without using infinite terms	1985-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marc Bezem