×

zbMATH — the first resource for mathematics

Gallier, Jean H.

Compute Distance To:
Author ID: gallier.jean-h Recent zbMATH articles by "Gallier, Jean H."
Published as: Gallier, Jean H.; Gallier, Jean
Documents Indexed: 57 Publications since 1978, including 10 Books

Publications by Year

Citations contained in zbMATH Open

44 Publications have been cited 573 times in 508 Documents Cited by Year
Linear-time algorithms for testing the satisfiability of propositional Horn formulae. Zbl 0593.68062
Dowling, William F.; Gallier, Jean H.
193
1984
Logic for computer science. Foundations of automatic theorem proving. Zbl 0605.03004
Gallier, Jean H.
80
1986
What’s so special about Kruskal’s theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory. Zbl 0758.03025
Gallier, Jean H.
23
1991
Higher-order unification revisited: Complete sets of transformations. Zbl 0682.03034
Snyder, Wayne; Gallier, Jean
19
1989
Complete sets of transformations for general E-unification. Zbl 0686.68024
Gallier, Jean H.; Snyder, Wayne
19
1989
Geometric methods and applications. For computer science and engineering. 2nd ed. Zbl 1247.53001
Gallier, Jean
16
2011
Polymorphic rewriting conserves algebraic strong normalization. Zbl 0745.68065
Breazu-Tannen, Val; Gallier, Jean
15
1991
Reductions in tree replacement systems. Zbl 0602.68072
Gallier, Jean H.; Book, Ronald V.
14
1985
Theorem proving using equational matings and rigid \(E\)-unification. Zbl 0799.68171
Gallier, Jean; Narendran, Paliath; Raatz, Stan; Snyder, Wayne
14
1992
Polymorphic rewriting conserves algebraic strong normalization and confluence. Zbl 0686.68022
Breazu-Tannen, Val; Gallier, Jean
13
1989
Geometric methods and applications. For computer science and engineering. Zbl 1031.53001
Gallier, Jean
12
2001
DPDA’s in ’Atomic normal form’ and applications to equivalence problems. Zbl 0474.68065
Gallier, Jean H.
11
1981
Constructive logics. I: A tutorial on proof systems and typed \(\lambda\)- calculi. Zbl 0772.03026
Gallier, Jean
11
1993
An algorithm for finding canonical sets of ground rewrite rules in polynomial time. Zbl 0779.68050
Gallier, Jean; Narendran, Paliath; Plaisted, David; Raatz, Stan; Snyder, Wayne
10
1993
Computing exponentials of skew-symmetric matrices and logarithms of orthogonal matrices. Zbl 1320.65062
Gallier, Jean; Xu, Dianna
9
2002
Polymorphic rewriting conserves algebraic confluence. Zbl 0820.68059
Breazu-Tannen, Val; Gallier, Jean
9
1994
Extending SLD resolution to equational Horn clauses using E-unification. Zbl 0668.68111
Gallier, Jean H.; Raatz, Stan
9
1989
Recursion-closed algebraic theories. Zbl 0472.68006
Gallier, Jean H.
8
1981
Tree pushdown automata. Zbl 0565.68080
Schimpf, Karl M.; Gallier, Jean H.
8
1985
A general complete E-unification procedure. Zbl 0641.68045
Gallier, Jean H.; Snyder, Wayne
8
1987
A guide to the classification theorem for compact surfaces. Zbl 1270.57001
Gallier, Jean; Xu, Dianna
7
2013
Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II. Zbl 0461.68015
Gallier, Jean H.
6
1981
Rigid E-unification: NP-completeness and applications to equational matings. Zbl 0709.68080
Gallier, Jean; Narendran, Paliath; Plaisted, David; Snyder, Wayne
6
1990
Typing untyped \(\lambda\)-terms, or reducibility strikes again! Zbl 0930.03011
Gallier, Jean
5
1998
Hornlog: A graph-based interpreter for general Horn clauses. Zbl 0641.68145
Gallier, Jean H.; Raatz, Stan
5
1987
Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I. Zbl 0441.68011
Gallier, Jean H.
4
1981
On the existence of optimal fixpoints. Zbl 0445.06002
Gallier, Jean H.
4
1980
Semantics and correctness of nondeterministic flowchart programs with recursive procedures (Preliminary Report). Zbl 0382.68015
Gallier, Jean H.
3
1978
n-rational algebras. I. Basic properties and free algebras. Zbl 0554.68017
Gallier, Jean H.
3
1984
Parametric pseudo-manifolds. Zbl 1263.57016
Gallier, Jean; Xu, Dianna; Siqueira, Marcelo
3
2012
Discrete mathematics. Zbl 1227.05002
Gallier, Jean
3
2011
Linear algebra and optimization with applications to machine learning. Volume I: Linear algebra for computer vision, robotics, and machine learning. Zbl 1450.15001
Gallier, Jean; Quaintance, Jocelyn
3
2020
Proving properties of typed \(\lambda\)-terms using realizability, covers, and sheaves. Zbl 0873.68125
Gallier, Jean
2
1995
Recursion schemes and generalized interpretations (extended abstract). Zbl 0409.68014
Gallier, Jean H.
2
1979
Corrigendum to “DPDA’s in “atomic normal form” and applications to equivalence problems”. Zbl 0483.68048
Gallier, Jean H.
2
1982
n-rational algebras. II. Varieties and logic of inequalities. Zbl 0554.68018
Gallier, Jean H.
2
1984
Curves and surfaces in geometric modeling. Theory and algorithms. Zbl 0988.65008
Gallier, Jean
2
1999
Designing unification procedures using transformations: A survey. Zbl 0744.68112
Gallier, Jean H.; Snyder, Wayne
2
1990
Unification procedures in automated deduction methods based on matings: A survey. Zbl 0798.68151
Gallier, Jean H.
2
1992
Fast algorithms for testing unsatisfiability of ground Horn clauses with equations. Zbl 0641.68146
Gallier, Jean H.
2
1987
Differential geometry and Lie groups. A second course. Zbl 1456.53001
Gallier, Jean; Quaintance, Jocelyn
1
2020
The semantics of recursive programs with function parameters of finite types: n-rational algebras and logic of inequalities. Zbl 0577.68026
Gallier, Jean H.
1
1985
Constrained quadrilateral meshes of bounded size. Zbl 1060.65668
Ramaswami, Suneeta; Siqueira, Marcelo; Sundaram, Tessa; Gallier, Jean; Gee, James
1
2005
The completeness of propositional resolution: A simple and constructive proof. Zbl 1127.03008
Gallier, Jean H.
1
2006
Linear algebra and optimization with applications to machine learning. Volume I: Linear algebra for computer vision, robotics, and machine learning. Zbl 1450.15001
Gallier, Jean; Quaintance, Jocelyn
3
2020
Differential geometry and Lie groups. A second course. Zbl 1456.53001
Gallier, Jean; Quaintance, Jocelyn
1
2020
A guide to the classification theorem for compact surfaces. Zbl 1270.57001
Gallier, Jean; Xu, Dianna
7
2013
Parametric pseudo-manifolds. Zbl 1263.57016
Gallier, Jean; Xu, Dianna; Siqueira, Marcelo
3
2012
Geometric methods and applications. For computer science and engineering. 2nd ed. Zbl 1247.53001
Gallier, Jean
16
2011
Discrete mathematics. Zbl 1227.05002
Gallier, Jean
3
2011
The completeness of propositional resolution: A simple and constructive proof. Zbl 1127.03008
Gallier, Jean H.
1
2006
Constrained quadrilateral meshes of bounded size. Zbl 1060.65668
Ramaswami, Suneeta; Siqueira, Marcelo; Sundaram, Tessa; Gallier, Jean; Gee, James
1
2005
Computing exponentials of skew-symmetric matrices and logarithms of orthogonal matrices. Zbl 1320.65062
Gallier, Jean; Xu, Dianna
9
2002
Geometric methods and applications. For computer science and engineering. Zbl 1031.53001
Gallier, Jean
12
2001
Curves and surfaces in geometric modeling. Theory and algorithms. Zbl 0988.65008
Gallier, Jean
2
1999
Typing untyped \(\lambda\)-terms, or reducibility strikes again! Zbl 0930.03011
Gallier, Jean
5
1998
Proving properties of typed \(\lambda\)-terms using realizability, covers, and sheaves. Zbl 0873.68125
Gallier, Jean
2
1995
Polymorphic rewriting conserves algebraic confluence. Zbl 0820.68059
Breazu-Tannen, Val; Gallier, Jean
9
1994
Constructive logics. I: A tutorial on proof systems and typed \(\lambda\)- calculi. Zbl 0772.03026
Gallier, Jean
11
1993
An algorithm for finding canonical sets of ground rewrite rules in polynomial time. Zbl 0779.68050
Gallier, Jean; Narendran, Paliath; Plaisted, David; Raatz, Stan; Snyder, Wayne
10
1993
Theorem proving using equational matings and rigid \(E\)-unification. Zbl 0799.68171
Gallier, Jean; Narendran, Paliath; Raatz, Stan; Snyder, Wayne
14
1992
Unification procedures in automated deduction methods based on matings: A survey. Zbl 0798.68151
Gallier, Jean H.
2
1992
What’s so special about Kruskal’s theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory. Zbl 0758.03025
Gallier, Jean H.
23
1991
Polymorphic rewriting conserves algebraic strong normalization. Zbl 0745.68065
Breazu-Tannen, Val; Gallier, Jean
15
1991
Rigid E-unification: NP-completeness and applications to equational matings. Zbl 0709.68080
Gallier, Jean; Narendran, Paliath; Plaisted, David; Snyder, Wayne
6
1990
Designing unification procedures using transformations: A survey. Zbl 0744.68112
Gallier, Jean H.; Snyder, Wayne
2
1990
Higher-order unification revisited: Complete sets of transformations. Zbl 0682.03034
Snyder, Wayne; Gallier, Jean
19
1989
Complete sets of transformations for general E-unification. Zbl 0686.68024
Gallier, Jean H.; Snyder, Wayne
19
1989
Polymorphic rewriting conserves algebraic strong normalization and confluence. Zbl 0686.68022
Breazu-Tannen, Val; Gallier, Jean
13
1989
Extending SLD resolution to equational Horn clauses using E-unification. Zbl 0668.68111
Gallier, Jean H.; Raatz, Stan
9
1989
A general complete E-unification procedure. Zbl 0641.68045
Gallier, Jean H.; Snyder, Wayne
8
1987
Hornlog: A graph-based interpreter for general Horn clauses. Zbl 0641.68145
Gallier, Jean H.; Raatz, Stan
5
1987
Fast algorithms for testing unsatisfiability of ground Horn clauses with equations. Zbl 0641.68146
Gallier, Jean H.
2
1987
Logic for computer science. Foundations of automatic theorem proving. Zbl 0605.03004
Gallier, Jean H.
80
1986
Reductions in tree replacement systems. Zbl 0602.68072
Gallier, Jean H.; Book, Ronald V.
14
1985
Tree pushdown automata. Zbl 0565.68080
Schimpf, Karl M.; Gallier, Jean H.
8
1985
The semantics of recursive programs with function parameters of finite types: n-rational algebras and logic of inequalities. Zbl 0577.68026
Gallier, Jean H.
1
1985
Linear-time algorithms for testing the satisfiability of propositional Horn formulae. Zbl 0593.68062
Dowling, William F.; Gallier, Jean H.
193
1984
n-rational algebras. I. Basic properties and free algebras. Zbl 0554.68017
Gallier, Jean H.
3
1984
n-rational algebras. II. Varieties and logic of inequalities. Zbl 0554.68018
Gallier, Jean H.
2
1984
Corrigendum to “DPDA’s in “atomic normal form” and applications to equivalence problems”. Zbl 0483.68048
Gallier, Jean H.
2
1982
DPDA’s in ’Atomic normal form’ and applications to equivalence problems. Zbl 0474.68065
Gallier, Jean H.
11
1981
Recursion-closed algebraic theories. Zbl 0472.68006
Gallier, Jean H.
8
1981
Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II. Zbl 0461.68015
Gallier, Jean H.
6
1981
Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I. Zbl 0441.68011
Gallier, Jean H.
4
1981
On the existence of optimal fixpoints. Zbl 0445.06002
Gallier, Jean H.
4
1980
Recursion schemes and generalized interpretations (extended abstract). Zbl 0409.68014
Gallier, Jean H.
2
1979
Semantics and correctness of nondeterministic flowchart programs with recursive procedures (Preliminary Report). Zbl 0382.68015
Gallier, Jean H.
3
1978
all top 5

Cited by 730 Authors

15 Gallier, Jean H.
9 Ibaraki, Toshihide
7 Boros, Endre
7 Eiter, Thomas
7 Makino, Kazuhisa
7 Vágvölgyi, Sándor
6 Kleine Büning, Hans
6 Narendran, Paliath
6 Wang, Jinchang
5 Baader, Franz
5 Bonacina, Maria Paola
5 Cadoli, Marco
5 Courcelle, Bruno
5 Gallo, Giorgio
5 Hammer, Peter Ladislaw
5 Kučera, Petr
5 Lescanne, Pierre
5 Li, Wei
5 Schmidt-Schauß, Manfred
4 Aragón González, Gerardo
4 Blanqui, Frédéric
4 Čepek, Ondřej
4 Dougherty, Daniel J.
4 Fichte, Johannes Klaus
4 Franco, John V.
4 Ghilezan, Silvia
4 Gurevich, Yuri
4 Hölldobler, Steffen
4 Jouannaud, Jean-Pierre
4 Kapur, Deepak
4 Kirchner, Claude
4 Kogan, Alexander
4 Marek, V. Wiktor
4 Marques-Silva, João P.
4 Mencía, Carlos
4 Middeldorp, Aart
4 Ozdemir, Mustafa Kemal
4 Popescu, Andrei
4 Pretolani, Daniele
4 Rodríguez-Andrade, M. A.
4 Schaerf, Marco
4 Truszczyński, Mirosław
3 Ben-Eliyahu-Zohary, Rachel
3 Benson, David B.
3 Comon, Hubert
3 Degtyarev, Anatoli Ivanovich
3 Di Cosmo, Roberto
3 Ésik, Zoltán
3 Fernández, Maribel
3 Furbach, Ulrich
3 Gottlob, Georg
3 Hébrard, Jean-Jacques
3 Hegner, Stephen J.
3 Ignatyev, Alexey A.
3 Johann, Patricia
3 Kautz, Henry A.
3 Kesner, Delia
3 Likavec, Silvia
3 Luan, Shangmin
3 Meseguer Guaita, José
3 Minoux, Michel Andre
3 Okada, Mitsuhiro
3 Pfenning, Frank
3 Roşu, Grigore
3 Salomaa, Kai T.
3 Schaub, Torsten H.
3 Selman, Bart
3 Semenov, Aleksandr Anatol’evich
3 Snyder, Wayne
3 Szeider, Stefan
3 van Maaren, Hans
3 Vauzeilles, Jacqueline
3 Voronkov, Andrei
2 Alpuente, María
2 Arif, M. Fareed
2 Ausiello, Giorgio
2 Backeman, Peter
2 Barbanera, Franco
2 Barthe, Gilles
2 Basin, David A.
2 Baumgartner, Peter
2 Beckert, Bernhard
2 Bidoit, Nicole
2 Bloom, Stephen L.
2 Bundy, Alan
2 Burel, Guillaume
2 Burke, James V.
2 Cooper, Martin C.
2 Coquidé, Jean-Luc
2 Creignou, Nadia
2 Dai, Guozhong
2 de Moura, Leonardo
2 Dechter, Rina
2 Dershowitz, Nachum
2 Dezani-Ciancaglini, Mariangiola
2 Dowek, Gilles
2 Fages, François
2 Falaschi, Moreno
2 Galmiche, Didier
2 Gebser, Martin
...and 630 more Authors
all top 5

Cited in 100 Serials

91 Theoretical Computer Science
41 Artificial Intelligence
34 Annals of Mathematics and Artificial Intelligence
27 Journal of Automated Reasoning
25 Discrete Applied Mathematics
24 Information Processing Letters
23 Information and Computation
14 Journal of Computer and System Sciences
14 Journal of Symbolic Computation
10 Annals of Pure and Applied Logic
6 Advances in Applied Clifford Algebras
5 Journal of Computer Science and Technology
5 Journal of Applied Non-Classical Logics
4 MSCS. Mathematical Structures in Computer Science
4 RAIRO. Informatique Théorique et Applications
4 Logical Methods in Computer Science
3 New Generation Computing
3 Formal Aspects of Computing
3 Archive for Mathematical Logic
3 Theory and Practice of Logic Programming
3 ACM Transactions on Computational Logic
3 Science China. Information Sciences
2 Acta Informatica
2 Computing
2 The Journal of Symbolic Logic
2 Mathematical Systems Theory
2 Notre Dame Journal of Formal Logic
2 Operations Research Letters
2 Computational Geometry
2 International Journal of Foundations of Computer Science
2 Linear Algebra and its Applications
2 Mathematical Programming. Series A. Series B
2 Applicable Algebra in Engineering, Communication and Computing
2 SIAM Journal on Optimization
2 Formal Methods in System Design
2 Journal of Functional Programming
2 Journal of Applied Logic
2 Logica Universalis
1 Biological Cybernetics
1 Communications in Mathematical Physics
1 Journal of Computational Physics
1 Journal of Mathematical Physics
1 Scandinavian Journal of Statistics
1 The Mathematical Intelligencer
1 Fuzzy Sets and Systems
1 Journal of Economic Theory
1 Journal of Soviet Mathematics
1 Memoirs of the American Mathematical Society
1 SIAM Journal on Control and Optimization
1 SIAM Journal on Numerical Analysis
1 Synthese
1 European Journal of Combinatorics
1 Statistics & Probability Letters
1 History and Philosophy of Logic
1 Acta Applicandae Mathematicae
1 Order
1 Discrete & Computational Geometry
1 International Journal of Intelligent Systems
1 Computational Mechanics
1 Mathematical and Computer Modelling
1 SIAM Journal on Matrix Analysis and Applications
1 Science in China. Series A
1 Random Structures & Algorithms
1 The Annals of Applied Probability
1 Differential Geometry and its Applications
1 Discrete Event Dynamic Systems
1 Artificial Intelligence Review
1 European Journal of Operational Research
1 Journal of Dynamics and Differential Equations
1 Calculus of Variations and Partial Differential Equations
1 St. Petersburg Mathematical Journal
1 Computational and Applied Mathematics
1 NoDEA. Nonlinear Differential Equations and Applications
1 Bulletin des Sciences Mathématiques
1 Advances in Computational Mathematics
1 The Journal of Artificial Intelligence Research (JAIR)
1 The Bulletin of Symbolic Logic
1 Sbornik: Mathematics
1 Discrete and Continuous Dynamical Systems
1 Constraints
1 Mathematics and Mechanics of Solids
1 Theory of Computing Systems
1 European Series in Applied and Industrial Mathematics (ESAIM): Control, Optimization and Calculus of Variations
1 Soft Computing
1 Extremes
1 Higher-Order and Symbolic Computation
1 Nexus Network Journal
1 Journal of Nonlinear and Convex Analysis
1 Journal of Systems Science and Complexity
1 Logic and Logical Philosophy
1 Computer Languages, Systems & Structures
1 International Journal of Geometric Methods in Modern Physics
1 Optimization Letters
1 International Electronic Journal of Geometry
1 SIAM Journal on Imaging Sciences
1 Tbilisi Mathematical Journal
1 São Paulo Journal of Mathematical Sciences
1 The Review of Symbolic Logic
1 Computer Science Review
1 Journal de l’École Polytechnique – Mathématiques
all top 5

Cited in 42 Fields

400 Computer science (68-XX)
180 Mathematical logic and foundations (03-XX)
21 Operations research, mathematical programming (90-XX)
18 Order, lattices, ordered algebraic structures (06-XX)
16 Combinatorics (05-XX)
13 Category theory; homological algebra (18-XX)
12 Linear and multilinear algebra; matrix theory (15-XX)
12 Numerical analysis (65-XX)
10 Differential geometry (53-XX)
8 General algebraic systems (08-XX)
8 Information and communication theory, circuits (94-XX)
7 Probability theory and stochastic processes (60-XX)
4 Partial differential equations (35-XX)
4 Global analysis, analysis on manifolds (58-XX)
4 Quantum theory (81-XX)
4 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
3 Number theory (11-XX)
3 Topological groups, Lie groups (22-XX)
3 Functional analysis (46-XX)
3 Geometry (51-XX)
3 Statistics (62-XX)
3 Mechanics of particles and systems (70-XX)
3 Biology and other natural sciences (92-XX)
3 Systems theory; control (93-XX)
2 Algebraic geometry (14-XX)
2 Dynamical systems and ergodic theory (37-XX)
2 Operator theory (47-XX)
2 Calculus of variations and optimal control; optimization (49-XX)
2 Convex and discrete geometry (52-XX)
2 General topology (54-XX)
2 Algebraic topology (55-XX)
2 Mechanics of deformable solids (74-XX)
1 General and overarching topics; collections (00-XX)
1 History and biography (01-XX)
1 Field theory and polynomials (12-XX)
1 Associative rings and algebras (16-XX)
1 Group theory and generalizations (20-XX)
1 Harmonic analysis on Euclidean spaces (42-XX)
1 Abstract harmonic analysis (43-XX)
1 Manifolds and cell complexes (57-XX)
1 Statistical mechanics, structure of matter (82-XX)
1 Mathematics education (97-XX)

Citations by Year