×

zbMATH — the first resource for mathematics

Bezem, Marc

Compute Distance To:
Author ID: bezem.marc Recent zbMATH articles by "Bezem, Marc"
Published as: Bezem, Marc
Homepage: http://www.ii.uib.no/~bezem/
External Links: MGP · ResearchGate
Documents Indexed: 59 Publications since 1985, including 5 Books

Publications by Year

Citations contained in zbMATH Open

42 Publications have been cited 300 times in 260 Documents Cited by Year
Terese. Term rewriting systems. Zbl 1030.68053
Bezem, Marc (ed.); Klop, Jan Willem (ed.); de Vrijer, Roel (ed.)
47
2003
Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals. Zbl 0578.03030
Bezem, Marc
39
1985
A model of type theory in cubical sets. Zbl 1359.03009
Bezem, Marc; Coquand, Thierry; Huber, Simon
32
2014
On the computational content of the axiom of choice. Zbl 0914.03059
Berardi, Stefano; Bezem, Marc; Coquand, Thierry
24
1998
Acyclic programs. Zbl 0744.68034
Apt, Krzysztof R.; Bezem, Marc
19
1991
Automating coherent logic. Zbl 1143.03332
Bezem, Marc; Coquand, Thierry
13
2005
Strong termination of logic programs. Zbl 0787.68016
Bezem, Marc
11
1993
Hard problems in max-algebra, control theory, hypergraphs and other areas. Zbl 1206.68284
Bezem, Marc; Nieuwenhuis, Robert; Rodríguez-Carbonell, Enric
11
2010
Automated proof construction in type theory using resolution. Zbl 1015.03018
Bezem, Marc; Hendriks, Dimitri; de Nivelle, Hans
8
2002
On the mechanization of the proof of Hessenberg’s theorem in coherent logic. Zbl 1140.03004
Bezem, Marc; Hendriks, Dimitri
8
2008
The max-atom problem and its relevance. Zbl 1182.68219
Bezem, Marc; Nieuwenhuis, Robert; Rodríguez-Carbonell, Enric
8
2008
Exponential behaviour of the Butkovič-Zimmermann algorithm for solving two-sided linear systems in max-algebra. Zbl 1178.68637
Bezem, Marc; Nieuwenhuis, Robert; Rodríguez-Carbonell, Enric
8
2008
Expressive power of digraph solvability. Zbl 1241.03007
Bezem, Marc; Grabmayer, Clemens; Walicki, Michał
7
2012
Ramsey’s theorem and the pigeonhole principle in intuitionistic mathematics. Zbl 0729.03034
Veldman, Wim; Bezem, Marc
6
1993
Diagram techniques for confluence. Zbl 0919.68077
Bezem, Marc; Klop, Jan Willem; van Oostrom, Vincent
5
1998
Newman’s Lemma – a case study in proof automation and geometric logic. Zbl 1169.03324
Bezem, Marc; Coquand, Thierry
4
2003
A Kripke model for simplicial sets. Zbl 1350.18020
Bezem, Marc; Coquand, Thierry
4
2015
An improved extensionality criterion for higher-order logic programs. Zbl 0999.68035
Bezem, Marc
4
2001
Skolem machines and geometric logic. Zbl 1147.68696
Fisher, John; Bezem, Marc
4
2007
On streams that are finitely red. Zbl 1267.03058
Bezem, Marc; Nakata, Keiko; Uustalu, Tarmo
3
2012
Computer science logic. 10th international workshop, CSL ’96. Annual conference of the EACSL, Utrecht, the Netherlands. September 21–27, 1996. Selected papers. Zbl 0868.00033
van Dalen, Dirk (ed.); Bezem, Marc (ed.)
3
1997
A vernacular for coherent logic. Zbl 1304.68163
Stojanović, Sana; Narboux, Julien; Bezem, Marc; Janičić, Predrag
3
2014
Non-constructivity in Kan simplicial sets. Zbl 1433.03154
Bezem, Marc; Coquand, Thierry; Parmann, Erik
3
2015
A type system for counting instances of software components. Zbl 1252.68201
Bezem, Marc; Hovland, Dag; Truong, Hoang
2
2012
A simple proof of the undecidability of inhabitation in \(\lambda P\). Zbl 0872.68035
Bezem, Marc; Springintveld, Jan
2
1996
Two finite specifications of a queue. Zbl 0911.68010
Bezem, Marc; Ponse, Alban
2
1997
A descriptive characterisation of even linear languages. Zbl 1055.68073
Langholm, Tore; Bezem, Marc
2
2003
Strong normalization of barrecursive terms without using infinite terms. Zbl 0603.03017
Bezem, Marc
2
1985
Automated proof construction in type theory using resolution. Zbl 0963.03010
Bezem, Marc; Hendriks, Dimitri; de Nivelle, Hans
2
2000
Finding resource bounds in the presence of explicit deallocation. Zbl 1169.68371
Truong, Hoang; Bezem, Marc
2
2005
Polymorphic extensions of simple type structures. With an application to a bar recursive minimization. Zbl 0862.03004
Barendsen, Erik; Bezem, Marc
1
1996
Newman’s lemma – a case study in proof automation and geometric logic. Zbl 1063.68089
Bezem, Marc; Coquand, Thierry
1
2004
Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Zbl 1237.68014
Bezem, Marc (ed.)
1
2011
Skolem machines. Zbl 1193.68108
Fisher, John; Bezem, Marc
1
2009
Logic programming and PROLOG. Zbl 0658.68109
Bezem, Marc
1
1988
Consistency of rule-based expert systems. Zbl 0661.68091
Bezem, Marc
1
1988
Equivalence of bar recursors in the theory of functionals of finite type. Zbl 0665.03042
Bezem, Marc
1
1988
Typed Lambda calculi and applications. International conference, TLCA ’93, March 16-18, 1993, Utrecht, the Netherlands. Proceedings. Zbl 0866.00038
Bezem, Marc (ed.); Groote, Jan F. (ed.)
1
1993
Isomorphisms between HEO and \(HRO^ E\), ECF and \(ICF^ E\). Zbl 0578.03029
Bezem, Marc
1
1985
On the undecidability of coherent logic. Zbl 1171.03327
Bezem, Marc
1
2005
Completeness of resolution revisited. Zbl 0701.68085
Bezem, Marc
1
1990
Completeness and decidability in sequence logic. Zbl 1137.03311
Bezem, Marc; Langholm, Tore; Walicki, Michał
1
2007
A Kripke model for simplicial sets. Zbl 1350.18020
Bezem, Marc; Coquand, Thierry
4
2015
Non-constructivity in Kan simplicial sets. Zbl 1433.03154
Bezem, Marc; Coquand, Thierry; Parmann, Erik
3
2015
A model of type theory in cubical sets. Zbl 1359.03009
Bezem, Marc; Coquand, Thierry; Huber, Simon
32
2014
A vernacular for coherent logic. Zbl 1304.68163
Stojanović, Sana; Narboux, Julien; Bezem, Marc; Janičić, Predrag
3
2014
Expressive power of digraph solvability. Zbl 1241.03007
Bezem, Marc; Grabmayer, Clemens; Walicki, Michał
7
2012
On streams that are finitely red. Zbl 1267.03058
Bezem, Marc; Nakata, Keiko; Uustalu, Tarmo
3
2012
A type system for counting instances of software components. Zbl 1252.68201
Bezem, Marc; Hovland, Dag; Truong, Hoang
2
2012
Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Zbl 1237.68014
Bezem, Marc
1
2011
Hard problems in max-algebra, control theory, hypergraphs and other areas. Zbl 1206.68284
Bezem, Marc; Nieuwenhuis, Robert; Rodríguez-Carbonell, Enric
11
2010
Skolem machines. Zbl 1193.68108
Fisher, John; Bezem, Marc
1
2009
On the mechanization of the proof of Hessenberg’s theorem in coherent logic. Zbl 1140.03004
Bezem, Marc; Hendriks, Dimitri
8
2008
The max-atom problem and its relevance. Zbl 1182.68219
Bezem, Marc; Nieuwenhuis, Robert; Rodríguez-Carbonell, Enric
8
2008
Exponential behaviour of the Butkovič-Zimmermann algorithm for solving two-sided linear systems in max-algebra. Zbl 1178.68637
Bezem, Marc; Nieuwenhuis, Robert; Rodríguez-Carbonell, Enric
8
2008
Skolem machines and geometric logic. Zbl 1147.68696
Fisher, John; Bezem, Marc
4
2007
Completeness and decidability in sequence logic. Zbl 1137.03311
Bezem, Marc; Langholm, Tore; Walicki, Michał
1
2007
Automating coherent logic. Zbl 1143.03332
Bezem, Marc; Coquand, Thierry
13
2005
Finding resource bounds in the presence of explicit deallocation. Zbl 1169.68371
Truong, Hoang; Bezem, Marc
2
2005
On the undecidability of coherent logic. Zbl 1171.03327
Bezem, Marc
1
2005
Newman’s lemma – a case study in proof automation and geometric logic. Zbl 1063.68089
Bezem, Marc; Coquand, Thierry
1
2004
Terese. Term rewriting systems. Zbl 1030.68053
Bezem, Marc; Klop, Jan Willem; de Vrijer, Roel
47
2003
Newman’s Lemma – a case study in proof automation and geometric logic. Zbl 1169.03324
Bezem, Marc; Coquand, Thierry
4
2003
A descriptive characterisation of even linear languages. Zbl 1055.68073
Langholm, Tore; Bezem, Marc
2
2003
Automated proof construction in type theory using resolution. Zbl 1015.03018
Bezem, Marc; Hendriks, Dimitri; de Nivelle, Hans
8
2002
An improved extensionality criterion for higher-order logic programs. Zbl 0999.68035
Bezem, Marc
4
2001
Automated proof construction in type theory using resolution. Zbl 0963.03010
Bezem, Marc; Hendriks, Dimitri; de Nivelle, Hans
2
2000
On the computational content of the axiom of choice. Zbl 0914.03059
Berardi, Stefano; Bezem, Marc; Coquand, Thierry
24
1998
Diagram techniques for confluence. Zbl 0919.68077
Bezem, Marc; Klop, Jan Willem; van Oostrom, Vincent
5
1998
Computer science logic. 10th international workshop, CSL ’96. Annual conference of the EACSL, Utrecht, the Netherlands. September 21–27, 1996. Selected papers. Zbl 0868.00033
van Dalen, Dirk; Bezem, Marc
3
1997
Two finite specifications of a queue. Zbl 0911.68010
Bezem, Marc; Ponse, Alban
2
1997
A simple proof of the undecidability of inhabitation in \(\lambda P\). Zbl 0872.68035
Bezem, Marc; Springintveld, Jan
2
1996
Polymorphic extensions of simple type structures. With an application to a bar recursive minimization. Zbl 0862.03004
Barendsen, Erik; Bezem, Marc
1
1996
Strong termination of logic programs. Zbl 0787.68016
Bezem, Marc
11
1993
Ramsey’s theorem and the pigeonhole principle in intuitionistic mathematics. Zbl 0729.03034
Veldman, Wim; Bezem, Marc
6
1993
Typed Lambda calculi and applications. International conference, TLCA ’93, March 16-18, 1993, Utrecht, the Netherlands. Proceedings. Zbl 0866.00038
Bezem, Marc; Groote, Jan F.
1
1993
Acyclic programs. Zbl 0744.68034
Apt, Krzysztof R.; Bezem, Marc
19
1991
Completeness of resolution revisited. Zbl 0701.68085
Bezem, Marc
1
1990
Logic programming and PROLOG. Zbl 0658.68109
Bezem, Marc
1
1988
Consistency of rule-based expert systems. Zbl 0661.68091
Bezem, Marc
1
1988
Equivalence of bar recursors in the theory of functionals of finite type. Zbl 0665.03042
Bezem, Marc
1
1988
Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals. Zbl 0578.03030
Bezem, Marc
39
1985
Strong normalization of barrecursive terms without using infinite terms. Zbl 0603.03017
Bezem, Marc
2
1985
Isomorphisms between HEO and \(HRO^ E\), ECF and \(ICF^ E\). Zbl 0578.03029
Bezem, Marc
1
1985
all top 5

Cited by 325 Authors

12 Bezem, Marc
12 Kohlenbach, Ulrich Wilhelm
11 Oliva, Paulo
7 Coquand, Thierry
7 Gaubert, Stéphane
5 Allamigeon, Xavier
5 Hötzel Escardó, Martín
5 Walicki, Michał
4 Endrullis, Jörg
4 Ferreira, Fernando
4 Janičić, Predrag
4 Meseguer Guaita, José
4 Narboux, Julien
4 Paulson, Lawrence Charles
3 Butkovič, Peter
3 de Nivelle, Hans
3 Drabent, Włodzimierz
3 Dyckhoff, Roy
3 Ghani, Neil
3 Grigor’ev, Dmitriĭ Yur’evich
3 Hendriks, Dimitri
3 Hernández-Cruz, César
3 Katz, Ricardo David
3 Klop, Jan Willem
3 Krivine, Jean-Louis
3 Leuştean, Laurenţiu
3 Nordvall Forsberg, Fredrik
3 Orsanigo, Federico
3 Orton, Ian
3 Pinto, Pedro C.
3 Pitts, Andrew M.
3 Rondogiannis, Panos
3 Symeonidou, Ioanna
2 Abramsky, Samson
2 Akama, Yohji
2 Alpuente, María
2 Antoy, Sergio
2 Aschieri, Federico
2 Awodey, Steve
2 Ayala-Rincón, Mauricio
2 Barthe, Gilles
2 Benchimol, Pascal
2 Berardi, Stefano
2 Berger, Ulrich
2 Blanchette, Jasmin Christian
2 Blanqui, Frédéric
2 Bodirsky, Manuel
2 Böhme, Sascha
2 Buchholtz, Ulrik
2 Czajka, Łukasz
2 Dehornoy, Patrick
2 Dershowitz, Nachum
2 Dyrkolbotn, Sjur Kristoffer
2 Escobar, Santiago
2 Ferreira, Gilda
2 Gao, Xing
2 Gerhardy, Philipp
2 Geuvers, Jan Herman
2 González Hermosillo de la Maza, Sebastián
2 Goubault, Eric
2 Hovland, Dag
2 Huber, Simon
2 Jagadeesan, Radha
2 Joswig, Michael
2 Kreuzer, Alexander P.
2 Mamino, Marcello
2 Meng, Jia
2 Mörtberg, Anders
2 Pettorossi, Alberto
2 Pous, Damien
2 Proietti, Maurizio
2 Quaresma, Pedro
2 Rahli, Vincent
2 Schwichtenberg, Helmut
2 Seisenberger, Monika
2 Stojanović Đurđević, Sana
2 Stojanović, Sana
2 Uustalu, Tarmo
2 Vákár, Matthijs
2 van Oostrom, Vincent
2 Veltri, Niccolò
1 Aehlig, Klaus
1 Ahrens, Benedikt
1 Akian, Marianne
1 Altenkirch, Thorsten
1 Andrews, James H.
1 Angiuli, Carlo
1 Apt, Krzysztof Rafal
1 Arimura, Hiroki
1 Ariola, Zena M.
1 Atabekyan, Varuzhan S.
1 Atserias, Albert
1 Baeta, Nuno
1 Baeten, Jos C. M.
1 Bahr, Patrick
1 Bakhshi, Rena
1 Ballis, Demis
1 Barendsen, Erik
1 Beklemishev, Lev D.
1 Bergstra, Jan A.
...and 225 more Authors
all top 5

Cited in 72 Serials

23 Theoretical Computer Science
22 Annals of Pure and Applied Logic
21 MSCS. Mathematical Structures in Computer Science
11 Information and Computation
10 Journal of Automated Reasoning
9 Logical Methods in Computer Science
6 Annals of Mathematics and Artificial Intelligence
5 The Journal of Symbolic Logic
5 Mathematical Logic Quarterly (MLQ)
5 Journal of Functional Programming
4 Archive for Mathematical Logic
4 Theory and Practice of Logic Programming
3 Artificial Intelligence
3 Discrete Mathematics
3 Machine Learning
3 Indagationes Mathematicae. New Series
2 Acta Informatica
2 Advances in Mathematics
2 Journal of Optimization Theory and Applications
2 Notre Dame Journal of Formal Logic
2 Synthese
2 Transactions of the American Mathematical Society
2 Journal of Symbolic Computation
2 New Generation Computing
2 Formal Aspects of Computing
2 International Journal of Algebra and Computation
2 Linear Algebra and its Applications
2 Computational Complexity
2 Journal of Logic, Language and Information
2 Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
2 Higher-Order and Symbolic Computation
2 The Journal of Logic and Algebraic Programming
2 Journal of Applied Logic
2 The Review of Symbolic Logic
2 Journal of Logical and Algebraic Methods in Programming
2 Higher Structures
1 Archiv für Mathematische Logik und Grundlagenforschung
1 Communications in Algebra
1 Discrete Applied Mathematics
1 Information Processing Letters
1 Russian Mathematical Surveys
1 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
1 Algebra Universalis
1 Fuzzy Sets and Systems
1 Journal of Algebra
1 Journal of Philosophical Logic
1 Journal of Pure and Applied Algebra
1 Numerical Functional Analysis and Optimization
1 Discrete & Computational Geometry
1 International Journal of Approximate Reasoning
1 SIAM Journal on Matrix Analysis and Applications
1 Computational Geometry
1 SIAM Review
1 Bulletin of the American Mathematical Society. New Series
1 Distributed Computing
1 Applicable Algebra in Engineering, Communication and Computing
1 Cybernetics and Systems Analysis
1 St. Petersburg Mathematical Journal
1 The Bulletin of Symbolic Logic
1 Theory and Applications of Categories
1 Theory of Computing Systems
1 LMS Journal of Computation and Mathematics
1 Communications in Contemporary Mathematics
1 Journal of the Australian Mathematical Society
1 Portugaliae Mathematica. Nova Série
1 Natural Computing
1 ACM Transactions on Computational Logic
1 Journal of Algebra and its Applications
1 Mathematics in Computer Science
1 Asian-European Journal of Mathematics
1 SIAM Journal on Applied Algebra and Geometry
1 Algebraic Combinatorics

Citations by Year