| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marc Bezem, Clemens Grabmayer, Michal Walicki |
Expressive power of digraph solvability.  |
Ann. Pure Appl. Logic  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Keiko Nakata, Tarmo Uustalu, Marc Bezem |
A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bezem (eds.) |
Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings |
CSL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Marc Bezem, Robert Nieuwenhuis, Enric Rodríguez-Carbonell |
Hard problems in max-algebra, control theory, hypergraphs and other areas. |
Inf. Process. Lett. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Walicki, Marc Bezem, Wojtek Szajnkenig |
Developing Bounded Reasoning. |
Journal of Logic, Language and Information |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | John Fisher, Marc Bezem |
Skolem Machines. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bezem, Dimitri Hendriks |
On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic. |
J. Autom. Reasoning |
2008 |
DBLP DOI BibTeX RDF |
Coherent logic, Proof objects, Hessenberg’s theorem, Automated theorem proving |
| 1 | Marc Bezem, Robert Nieuwenhuis, Enric Rodríguez-Carbonell |
Exponential behaviour of the Butkovic-Zimmermann algorithm for solving two-sided linear systems in max-algebra. |
Discrete Applied Mathematics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bezem, Robert Nieuwenhuis, Enric Rodríguez-Carbonell |
The Max-Atom Problem and Its Relevance. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
constraints, hypergraphs, max-plus algebra |
| 1 | Marc Bezem, Tore Langholm, Michal Walicki |
Completeness and Decidability in Sequence Logic. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | John Fisher, Marc Bezem |
Skolem Machines and Geometric Logic. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | John Fisher, Marc Bezem |
Query Completeness of Skolem Machine Computations. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bezem, Thierry Coquand |
Automating Coherent Logic. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hoang Truong, Marc Bezem |
Finding Resource Bounds in the Presence of Explicit Deallocation. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bezem |
On the Undecidability of Coherent Logic. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bezem, Christian Sloper, Tore Langholm |
Black Box and White Box Identification of Formal Languages Using Test Sets. |
Grammars |
2004 |
DBLP BibTeX RDF |
|
| 1 | Marc Bezem, Hoang Truong |
A Type System for the Safe Instantiation of Components. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tore Langholm, Marc Bezem |
A Descriptive Characterisation of Even Linear Languages. |
Grammars |
2003 |
DBLP DOI BibTeX RDF |
even linear languages, descriptive complexity |
| 1 | Marc Bezem, Thierry Coquand |
Newman's lemma - a case study in proof automation and geometric logic, Logic in Computer Science Column. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Marc Bezem, Dimitri Hendriks, Hans de Nivelle |
Automated Proof Construction in Type Theory Using Resolution. |
J. Autom. Reasoning |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bezem |
An Improved Extensionality Criterion for Higher-Order Logic Programs. |
CSL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bezem, Dimitri Hendriks, Hans de Nivelle |
Automated Proof Construction in Type Theory Using Resolution. |
CADE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bezem |
Extensionality of Simply Typed Logic Programs. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Marc Bezem, Jan Willem Klop, Vincent van Oostrom |
Diagram Techniques for Confluence. |
Inf. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Berardi, Marc Bezem, Thierry Coquand |
On the Computational Content of the Axiom of Choice. |
J. Symb. Log. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Marc Bezem |
Formulas as Programs |
CoRR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Marc Bezem, Roland N. Bol, Jan Friso Groote |
Formalizing Process Algebraic Verifications in the Calculus of Constructions. |
Formal Asp. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bezem, Alban Ponse |
Two Finite Specifications of a Queue. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk van Dalen, Marc Bezem (eds.) |
Computer Science Logic, 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers |
CSL |
1997 |
DBLP BibTeX RDF |
|
| 1 | Erik Barendsen, Marc Bezem |
Polymorphic Extensions of Simple Type Structures - With an Application to Bar Recursive Minimization. |
Ann. Pure Appl. Logic |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bezem, Jan Springintveld |
A Simple Proof of the Undecidability of Inhabitation in lambdaP. |
J. Funct. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Berardi, Marc Bezem, Thierry Coquand |
A realization of the negative interpretation of the Axiom of Choice. |
TLCA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bezem, Jan Friso Groote |
A Correctness Proof of a One-Bit Sliding Window Protocol in µCRL. |
Comput. J. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bezem, Jan Keuzenkamp |
Undecidable Goals for Completed Acyclic Programs. |
New Generation Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bezem, Jan Friso Groote |
Invariants in Process Algebra with Data. |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bezem |
Strong Termination of Logic Programs. |
J. Log. Program. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bezem, Jan Friso Groote (eds.) |
Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA '93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings |
TLCA |
1993 |
DBLP BibTeX RDF |
|
| 1 | Marc Bezem |
Semantics and Consistency of Rule-Based Expert Systems. |
J. Log. Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Marc Bezem |
Acyclic Programs. |
New Generation Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bezem |
Completeness of Resolution Revisited. |
Theor. Comput. Sci. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Marc Bezem |
Acyclic Programs. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
| 1 | Marc Bezem |
Compact and Majorizable Functionals of Finite Type. |
J. Symb. Log. |
1989 |
DBLP BibTeX RDF |
|
| 1 | Marc Bezem |
Characterizing Termination of Logic Programs with Level Mappings. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
| 1 | Marc Bezem, Jan van Leeuwen |
On Estimating the Complexity of Logarithmic Decompositions. |
Inf. Process. Lett. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bezem |
Consistency of Rule-based Expert System. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
& Phrases knowledge-based systems, knowledge representation, consistency, rule-based expert systems |
| 1 | Marc Bezem |
Strongly Majorizable Functionals of Finite Type: A Model for Barrecursion Containing Discontinuous Functionals. |
J. Symb. Log. |
1985 |
DBLP BibTeX RDF |
|
| 1 | Marc Bezem |
Isomorphisms Between HEO and HROE, ECF and ICFE. |
J. Symb. Log. |
1985 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")