Kazunori Ueda

Available identifiers

Publication	Date of Publication	Type
Implementing the \(\lambda_{GT}\) language: a functional language with graphs as first-class data	2024-01-12	Paper
Guarded horn clauses	2022-11-02	Paper
Introducing symmetry to graph rewriting systems with process abstraction	2020-02-06	Paper
Unification of hypergraph \(\lambda\)-terms	2018-02-16	Paper
Constraint-Based Concurrency and Beyond	2015-07-10	Paper
Encoding distributed process calculi into LMNtal	2014-01-17	Paper
LMNtal as a hierarchical logic programming language	2009-11-04	Paper
Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting	2008-08-28	Paper
LMNtal as a Unifying Declarative Language: Live Demonstration	2008-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q5714436	2006-01-02	Paper
Membrane Computing	2005-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4736498	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4707737	2003-06-11	Paper
Kima: An automated error correction system for concurrent logic programs	2003-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q4499249	2001-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q3994465	1992-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q3805880	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3819962	1988-01-01	Paper
Making exhaustive search programs deterministic	1987-01-01	Paper

This page was built for person: Kazunori Ueda