Document Search Results

Glauert, John; Kesner, Delia; Khasidashvili, Zurab

Expression reduction systems and extensions: An overview. (English) Zbl 1171.68510

Middeldorp, Aart (ed.) et al., Processes, terms and cycles: steps on the road to infinity. Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday. Berlin: Springer (ISBN 3-540-30911-X/pbk). Lecture Notes in Computer Science 3838, 496-553 (2005).

MSC: 68Q42 03B40

Cite Review PDF

Full Text: DOI

Khasidashvili, Zurab; Glauert, John

The conflict-free reduction geometry. (English) Zbl 1081.68039

Theor. Comput. Sci. 347, No. 3, 465-497 (2005).

MSC: 68Q42

Cite Review PDF

Full Text: DOI

Khasidashvili, Zurab; Glauert, John

An abstract concept of optimal implementation. (English) Zbl 1270.68129

Gramlich, Bernhard (ed.) et al., WRS 2003. Proceedings of the 3rd international workshop on reduction strategies in rewriting and programming, Valencia, Spain, June 8, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 86, No. 4, 689-713 (2003).

MSC: 68Q42 68N30

Cite Review PDF

Full Text: Link

Khasidashvili, Zurab; Glauert, John

Stable computational semantics of conflict-free rewrite systems (partial orders with duplication). (English) Zbl 1038.68068

Nieuwenhuis, Robert (ed.), Rewriting techniques and applications. 14th international conference, RTA 2003, Valencia, Spain, June 9–11, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40254-3/pbk). Lect. Notes Comput. Sci. 2706, 467-482 (2003).

MSC: 68Q42 68Q55 06B35

Cite Review PDF

Full Text: Link

Glauert, John; Khasidashvili, Zurab

An abstract Böhm-normalization. (English) Zbl 1270.68066

Gramlich, Bernhard (ed.) et al., WRS 2002. Final proceedings of the 2nd international workshop on reduction strategies in rewriting and programming (FLoC satellite event), Copenhagen, Denmark, July 21, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 70, No. 6, 118-134 (2002).

MSC: 68N18 03B40 68Q42

Cite Review PDF

Full Text: Link

Khasidashvili, Zurab; Glauert, John

Relating conflict-free stable transition and event models via redex families. (English) Zbl 1016.68052

Theor. Comput. Sci. 286, No. 1, 65-95 (2002).

MSC: 68Q85

Cite Review PDF

Full Text: DOI

Glauert, John; Kennaway, Richard; Khasidashvili, Zurab

Stable results and relative normalization. (English) Zbl 0966.68090

J. Log. Comput. 10, No. 3, 323-348 (2000).

MSC: 68Q42 03B40 68N18

Cite Review PDF

Full Text: DOI

Khasidashvili, Zurab; Glauert, John

The geometry of orthogonal reduction spaces. (English) Zbl 1401.68137

Degano, Pierpaolo (ed.) et al., Automata, languages and programming. 24th international colloquium, ICALP ’97, Bologna, Italy, July 7–11, 1997. Proceedings. Berlin: Springer-Verlag (ISBN 978-3-540-63165-1/pbk; 978-3-540-69194-5/ebook). Lecture Notes in Computer Science 1256, 649-659 (1997).

MSC: 68Q42 68Q10

Cite Review PDF

Full Text: DOI

Khasidashvili, Zurab; Glauert, John

Relating conflict-free stable transition and event models. (Extended abstract). (English) Zbl 0942.68061

Privara, L. (ed.) et al., Mathematical foundations of computer science 1997. 22nd international symposium, MFCS ’97, Bratislava, Slovakia, August 25-29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1295, 269-278 (1997).

MSC: 68Q42

Cite Review PDF

Glauert, John; Khasidashvili, Zurab

Minimal relative normalization in orthogonal expression reduction systems. (English) Zbl 1541.68174

Chandru, V. (ed.) et al., Foundations of software technology and theoretical computer science. 16th conference, Hyderabad, India, December 18–20, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1180, 238-249 (1996).

MSC: 68Q42 03B40

Cite Review PDF

Full Text: DOI

Glauert, John; Khasidashvili, Zurab

Relative normalization in deterministic residual structures. (English) Zbl 1508.68155

Kirchner, Hélène (ed.), Trees in algebra and programming – CAAP ’96. 21st international colloqium, Linköping, Sweden, April 22–24, 1996. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 1059, 180-195 (1996).

MSC: 68Q42

Cite Review PDF

Full Text: DOI

Khasidashvili, Zurab; Glauert, John

Discrete normalization and standardization in deterministic residual structures. (English) Zbl 1355.68139

Hanus, Michael (ed.) et al., Algebraic and logic programming. 5th international conference, ALP ’96, Aachen, Germany, September 25–27, 1996. Proceedings. Berlin: Springer (ISBN 3-540-61735-3/pbk). Lect. Notes Comput. Sci. 1139, 135-149 (1996).

MSC: 68Q42 68N30

Cite Review PDF

Full Text: DOI

Found 12 Documents (Results 1–12)

Expression reduction systems and extensions: An overview. (English) Zbl 1171.68510

The conflict-free reduction geometry. (English) Zbl 1081.68039

An abstract concept of optimal implementation. (English) Zbl 1270.68129

Stable computational semantics of conflict-free rewrite systems (partial orders with duplication). (English) Zbl 1038.68068

An abstract Böhm-normalization. (English) Zbl 1270.68066

Relating conflict-free stable transition and event models via redex families. (English) Zbl 1016.68052

Stable results and relative normalization. (English) Zbl 0966.68090

The geometry of orthogonal reduction spaces. (English) Zbl 1401.68137

Relating conflict-free stable transition and event models. (Extended abstract). (English) Zbl 0942.68061

Minimal relative normalization in orthogonal expression reduction systems. (English) Zbl 1541.68174

Relative normalization in deterministic residual structures. (English) Zbl 1508.68155

Discrete normalization and standardization in deterministic residual structures. (English) Zbl 1355.68139

Filter Results by …

Document Type

Author

Serial

Year of Publication

Main Field

Software