×
Edit Profile (opens in new tab)

Glauert, John

Co-Author Distance
Author ID: glauert.john Recent zbMATH articles by "Glauert, John"
Published as: Glauert, John
Documents Indexed: 13 Publications since 1996
Co-Authors: 3 Co-Authors with 12 Joint Publications
66 Co-Co-Authors

Co-Authors

1 single-authored
12 Khasidashvili, Zurab O.
1 Kennaway, Richard
1 Kesner, Delia

Serials

2 Theoretical Computer Science
1 Journal of Logic and Computation

Fields

13 Computer science (68-XX)
4 Mathematical logic and foundations (03-XX)
1 Order, lattices, ordered algebraic structures (06-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

10 Publications have been cited 35 times in 17 Documents Cited by ▼ Year ▼
Discrete normalization and standardization in deterministic residual structures. Zbl 1355.68139
Khasidashvili, Zurab; Glauert, John
9
1996
Expression reduction systems and extensions: An overview. Zbl 1171.68510
Glauert, John; Kesner, Delia; Khasidashvili, Zurab
5
2005
Relative normalization in deterministic residual structures. Zbl 1508.68155
Glauert, John; Khasidashvili, Zurab
5
1996
Relating conflict-free stable transition and event models. (Extended abstract). Zbl 0942.68061
Khasidashvili, Zurab; Glauert, John
3
1997
Stable results and relative normalization. Zbl 0966.68090
Glauert, John; Kennaway, Richard; Khasidashvili, Zurab
3
2000
Relating conflict-free stable transition and event models via redex families. Zbl 1016.68052
Khasidashvili, Zurab; Glauert, John
3
2002
An abstract concept of optimal implementation. Zbl 1270.68129
Khasidashvili, Zurab; Glauert, John
2
2003
The conflict-free reduction geometry. Zbl 1081.68039
Khasidashvili, Zurab; Glauert, John
2
2005
The geometry of orthogonal reduction spaces. Zbl 1401.68137
Khasidashvili, Zurab; Glauert, John
2
1997
An abstract Böhm-normalization. Zbl 1270.68066
Glauert, John; Khasidashvili, Zurab
1
2002
Expression reduction systems and extensions: An overview. Zbl 1171.68510
Glauert, John; Kesner, Delia; Khasidashvili, Zurab
5
2005
The conflict-free reduction geometry. Zbl 1081.68039
Khasidashvili, Zurab; Glauert, John
2
2005
An abstract concept of optimal implementation. Zbl 1270.68129
Khasidashvili, Zurab; Glauert, John
2
2003
Relating conflict-free stable transition and event models via redex families. Zbl 1016.68052
Khasidashvili, Zurab; Glauert, John
3
2002
An abstract Böhm-normalization. Zbl 1270.68066
Glauert, John; Khasidashvili, Zurab
1
2002
Stable results and relative normalization. Zbl 0966.68090
Glauert, John; Kennaway, Richard; Khasidashvili, Zurab
3
2000
Relating conflict-free stable transition and event models. (Extended abstract). Zbl 0942.68061
Khasidashvili, Zurab; Glauert, John
3
1997
The geometry of orthogonal reduction spaces. Zbl 1401.68137
Khasidashvili, Zurab; Glauert, John
2
1997
Discrete normalization and standardization in deterministic residual structures. Zbl 1355.68139
Khasidashvili, Zurab; Glauert, John
9
1996
Relative normalization in deterministic residual structures. Zbl 1508.68155
Glauert, John; Khasidashvili, Zurab
5
1996
all cited Publications top 5 cited Publications
all top 5

Cited by 29 Authors

4 Glauert, John
4 Khasidashvili, Zurab O.
2 Accattoli, Beniamino
2 Blanqui, Frédéric
2 Bonelli, Eduardo
1 Alves, Sandra
1 Balabonski, Thibaut
1 Barenbaum, Pablo
1 Bethke, Inge
1 de Vrijer, Roel
1 Florido, Mário
1 Kesner, Delia
1 Ketema, Jeroen
1 Kirchner, Claude
1 Klop, Jan Willem
1 Lombardi, Carlos
1 Mackie, Ian
1 Martin, Alexis
1 Mazza, Damiano
1 Riba, Colin
1 Ríos, Alejandro
1 Severi, Paula Gabriela
1 Simonsen, Jakob Grue
1 Sinot, François-Régis
1 Sørensen, Morten Heine B.
1 van Oostrom, Vincent
1 van Raamsdonk, Femke
1 Viso, Andrés
1 Xi, Hongwei

Cited in 3 Serials

4 Theoretical Computer Science
3 Information and Computation
1 Mathematical Structures in Computer Science

Cited in 2 Fields

16 Computer science (68-XX)
9 Mathematical logic and foundations (03-XX)

Citations by Year