The following pages link to Kazunori Ueda (Q1035708):
Displaying 19 items.
- LMNtal as a hierarchical logic programming language (Q1035709) (← links)
- Making exhaustive search programs deterministic (Q1094889) (← links)
- Unification of hypergraph \(\lambda\)-terms (Q1698762) (← links)
- Kima: An automated error correction system for concurrent logic programs (Q1857277) (← links)
- Introducing symmetry to graph rewriting systems with process abstraction (Q2292965) (← links)
- Encoding Distributed Process Calculi into LMNtal (Q2870199) (← links)
- Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting (Q3522032) (← links)
- (Q3805880) (← links)
- (Q3819962) (← links)
- (Q3994465) (← links)
- (Q4499249) (← links)
- (Q4707737) (← links)
- (Q4736498) (← links)
- Guarded horn clauses (Q5044782) (← links)
- Constraint-Based Concurrency and Beyond (Q5262978) (← links)
- Membrane Computing (Q5316645) (← links)
- LMNtal as a Unifying Declarative Language: Live Demonstration (Q5449642) (← links)
- (Q5714436) (← links)
- Implementing the \(\lambda_{GT}\) language: a functional language with graphs as first-class data (Q6535521) (← links)
