Kazunori Ueda

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Logic Programming '85	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 Electronic Notes in Theoretical Computer Science	2015-07-10	Paper
Encoding distributed process calculi into LMNtal Electronic Notes in Theoretical Computer Science	2014-01-17	Paper
LMNtal as a hierarchical logic programming language Theoretical Computer Science	2009-11-04	Paper
Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting Rewriting Techniques and Applications	2008-08-28	Paper
LMNtal as a Unifying Declarative Language: Live Demonstration Logic Programming	2008-03-11	Paper
scientific article; zbMATH DE number 2242583 (Why is no real title available?)	2006-01-02	Paper
Membrane Computing Lecture Notes in Computer Science	2005-09-14	Paper
scientific article; zbMATH DE number 2085264 (Why is no real title available?)	2004-08-09	Paper
scientific article; zbMATH DE number 1926605 (Why is no real title available?)	2003-06-11	Paper
Kima: An automated error correction system for concurrent logic programs Automated Software Engineering	2003-02-17	Paper
scientific article; zbMATH DE number 1497827 (Why is no real title available?)	2001-03-05	Paper
scientific article; zbMATH DE number 41233 (Why is no real title available?)	1992-09-17	Paper
scientific article; zbMATH DE number 4074449 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4092730 (Why is no real title available?)	1988-01-01	Paper
Making exhaustive search programs deterministic New Generation Computing	1987-01-01	Paper

Research outcomes over time

This page was built for person: Kazunori Ueda