×

zbMATH — the first resource for mathematics

van Emden, Maarten H.

Compute Distance To:
Author ID: van-emden.maarten-h Recent zbMATH articles by "van Emden, Maarten H."
Published as: van Emden, M. H.; van Emden, Maarten H.; Van Emden, Maarten H.; Van Emden, M. H.; van Emden, Maarten
External Links: MGP
Documents Indexed: 35 Publications since 1969, including 3 Books

Publications by Year

Citations contained in zbMATH Open

17 Publications have been cited 458 times in 381 Documents Cited by Year
The semantics of predicate logic as a programming language. Zbl 0339.68004
van Emden, M. H.; Kowalski, R. A.
213
1976
Contributions to the theory of logic programming. Zbl 0483.68004
Apt, Krzysztof R.; van Emden, M. H.
94
1982
Quantitative deduction and its fixpoint theory. Zbl 0609.68068
van Emden, M. H.
47
1986
Interval arithmetic: from principles to implementation. Zbl 1323.65047
Hickey, T.; Ju, Q.; Van Emden, M. H.
36
2001
An analysis of complexity. Zbl 0225.68015
van Emden, M. H.
17
1971
Increasing the efficiency of quicksort. Zbl 0198.50703
van Emden, M. H.
16
1970
A logical reconstruction of Prolog II. Zbl 0594.68033
van Emden, M. H.; Lloyd, J. W.
9
1984
Algorithmic power from declarative use of redundant constraints. Zbl 0949.68041
van Emden, M. H.
6
1999
Top-down semantics of fair computations of logic programs. Zbl 0592.68019
van Emden, M. H.; Abdallah, M. A. Nait
5
1985
Programming with verification conditions. Zbl 0395.68008
van Emden, M. H.
4
1979
Interval computation as deduction in CHIP. Zbl 0784.68021
Lee, J. H. M.; van Emden, M. H.
3
1993
Value constraints in the CLP scheme. Zbl 0888.68034
Van Emden, M. H.
2
1997
Logic programming with equations. Zbl 0631.68010
van Emden, Maarten H.; Yukawa, Keitaro
2
1987
Computation and deductive information retrieval. Zbl 0384.68080
van Emden, M. H.
1
1978
Verification conditions as programs. Zbl 0403.68015
van Emden, M. H.
1
1976
Consequence verification of flowcharts. Zbl 0447.68007
Clark, Keith L.; van Emden, M. H.
1
1981
On the significance of digits in interval notation. Zbl 1038.65043
Van Emden, Maarten H.
1
2004
On the significance of digits in interval notation. Zbl 1038.65043
Van Emden, Maarten H.
1
2004
Interval arithmetic: from principles to implementation. Zbl 1323.65047
Hickey, T.; Ju, Q.; Van Emden, M. H.
36
2001
Algorithmic power from declarative use of redundant constraints. Zbl 0949.68041
van Emden, M. H.
6
1999
Value constraints in the CLP scheme. Zbl 0888.68034
Van Emden, M. H.
2
1997
Interval computation as deduction in CHIP. Zbl 0784.68021
Lee, J. H. M.; van Emden, M. H.
3
1993
Logic programming with equations. Zbl 0631.68010
van Emden, Maarten H.; Yukawa, Keitaro
2
1987
Quantitative deduction and its fixpoint theory. Zbl 0609.68068
van Emden, M. H.
47
1986
Top-down semantics of fair computations of logic programs. Zbl 0592.68019
van Emden, M. H.; Abdallah, M. A. Nait
5
1985
A logical reconstruction of Prolog II. Zbl 0594.68033
van Emden, M. H.; Lloyd, J. W.
9
1984
Contributions to the theory of logic programming. Zbl 0483.68004
Apt, Krzysztof R.; van Emden, M. H.
94
1982
Consequence verification of flowcharts. Zbl 0447.68007
Clark, Keith L.; van Emden, M. H.
1
1981
Programming with verification conditions. Zbl 0395.68008
van Emden, M. H.
4
1979
Computation and deductive information retrieval. Zbl 0384.68080
van Emden, M. H.
1
1978
The semantics of predicate logic as a programming language. Zbl 0339.68004
van Emden, M. H.; Kowalski, R. A.
213
1976
Verification conditions as programs. Zbl 0403.68015
van Emden, M. H.
1
1976
An analysis of complexity. Zbl 0225.68015
van Emden, M. H.
17
1971
Increasing the efficiency of quicksort. Zbl 0198.50703
van Emden, M. H.
16
1970
all top 5

Cited by 542 Authors

9 Bozdogan, Hamparsum
9 Marek, V. Wiktor
9 Palamidessi, Catuscia
8 Levi, Giorgio
8 Truszczyński, Mirosław
7 Denecker, Marc
7 Subrahmanian, V. S.
6 Bogaerts, Bart
6 Cabalar, Pedro
6 Jaulin, Luc
5 Apt, Krzysztof Rafal
5 Inoue, Katsumi
5 Minker, Jack
5 Rajasekar, Arcot K.
5 Reiser, Renata Hax Sander
5 Sakama, Chiaki
5 Shen, Yidong
4 Bedregal, Benjamín Callejas
4 Eiter, Thomas
4 Falaschi, Moreno
4 Hölldobler, Steffen
4 Iranzo, Pascual Julián
4 Lamma, Evelina
4 Lobo, Jorge
4 Mello, Paola
4 Remmel, Jeffrey B.
4 Rondogiannis, Panos
4 Schlipf, John Stewart
4 Vermeir, Dirk
4 Yamasaki, Susumu
3 Amato, Gianluca
3 Bidoit, Nicole
3 Blair, Howard A.
3 Brogi, Antonio
3 de Boer, Frank S.
3 De Cock, Martine
3 Delahaye, Jean-Paul
3 Deransart, Pierre
3 Fandinno, Jorge
3 Fitting, Melvin Chris
3 Gabbrielli, Maurizio
3 Giacobazzi, Roberto
3 Jayaraman, Bharat
3 Kok, Joost N.
3 Lifschitz, Vladimir
3 Miller, Dale Allen
3 Moreno, Ginés
3 Pamukçu, Esra
3 Pontelli, Enrico
3 Ramakrishnan, Raghu
3 Rodríguez-Artalejo, Mario
3 Romero-Díaz, Carlos A.
3 Santiago, Regivan H. Nunes
3 Schichl, Hermann
3 Schockaert, Steven
3 Simari, Gerardo I.
3 Straccia, Umberto
3 Stuckey, Peter James
3 van Emden, Maarten H.
3 Vennekens, Joost
3 Zaniolo, Carlo
2 Afrati, Foto N.
2 Back, Ralph-Johan
2 Bellia, Marco
2 Bonner, Anthony J.
2 Bossi, Annalisa
2 Brown, Allen L. jun.
2 Cadoli, Marco
2 Courcelle, Bruno
2 Cox, Philip T.
2 Diéguez, Martín
2 Dietz, Emmanuelle-Anna
2 Dimuro, Graçaliz Pereira
2 Doshita, Shuji
2 Fink, Michael
2 Fribourg, Laurent
2 Furbach, Ulrich
2 Galanaki, Chrysida
2 Gelfond, Michael
2 Gervet, Carmen
2 Gori, Roberta
2 Imielinski, Tomasz
2 Janssen, Jeroen
2 Kohli, Pushmeet
2 Kolaitis, Phokion G.
2 Komendantskaya, Ekaterina
2 Kowalski, Robert A.
2 Lassez, Jean-Louis
2 Lipton, James B.
2 Loyer, Yann
2 Lucas, Salvador
2 Maher, Michael J.
2 Małuszyński, Jan
2 Marriott, Kim
2 Martinez, Maria Vanina
2 Medina, Jesús
2 Moniz Pereira, Luís
2 Nadathur, Gopalan
2 Naish, Lee
2 Nerode, Anil
...and 442 more Authors
all top 5

Cited in 78 Serials

88 Theoretical Computer Science
25 Artificial Intelligence
23 Theory and Practice of Logic Programming
22 Annals of Mathematics and Artificial Intelligence
15 Fuzzy Sets and Systems
15 Journal of Computer and System Sciences
9 Journal of Automated Reasoning
8 Annals of Pure and Applied Logic
8 New Generation Computing
7 Information Processing Letters
7 Information and Computation
6 Acta Informatica
6 Journal of Symbolic Computation
5 RAIRO. Informatique Théorique et Applications
5 The Journal of Logic and Algebraic Programming
4 Computing
4 Information Sciences
4 Journal of Computer Science and Technology
4 International Journal of Approximate Reasoning
4 Machine Learning
4 Journal of Applied Non-Classical Logics
4 Constraints
3 International Journal of Computer & Information Sciences
3 RAIRO, Informatique Théorique
3 Journal of Applied Logic
2 Discrete Applied Mathematics
2 Bulletin of Mathematical Biology
2 Automatica
2 Journal of Philosophical Logic
2 Journal of Statistical Planning and Inference
2 The Journal of Symbolic Logic
2 Algorithmica
2 Formal Aspects of Computing
2 Journal of Global Optimization
2 Computational Statistics
2 International Journal of Computer Mathematics
2 Journal of Statistical Computation and Simulation
2 Archive for Mathematical Logic
2 Computational and Applied Mathematics
2 Reliable Computing
2 ACM Transactions on Computational Logic
2 Mathematics in Computer Science
2 Journal of Logical and Algebraic Methods in Programming
1 Computer Methods in Applied Mechanics and Engineering
1 International Journal of Theoretical Physics
1 Applied Mathematics and Computation
1 Journal of Mathematical Psychology
1 Journal of Soviet Mathematics
1 Kybernetika
1 Mathematical Programming
1 Studia Logica
1 Cybernetics
1 Science of Computer Programming
1 Journal of Economic Dynamics & Control
1 Mathematical and Computer Modelling
1 Random Structures & Algorithms
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 Applied Mathematical Modelling
1 Communications in Statistics. Simulation and Computation
1 Communications in Statistics. Theory and Methods
1 Linear Algebra and its Applications
1 Computational Statistics and Data Analysis
1 Applicable Algebra in Engineering, Communication and Computing
1 Cybernetics and Systems Analysis
1 Journal of Functional Programming
1 Journal of Heuristics
1 Theory of Computing Systems
1 Journal of Applied Statistics
1 Annales Mathematicae Silesianae
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 Journal of Machine Learning Research (JMLR)
1 JMMA. Journal of Mathematical Modelling and Algorithms
1 Journal of Discrete Algorithms
1 BIT. Nordisk Tidskrift for Informationsbehandling
1 Computational & Mathematical Methods in Medicine
1 Journal of Statistical Theory and Practice
1 European Journal of Pure and Applied Mathematics
1 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika

Citations by Year