×

zbMATH — the first resource for mathematics

Ueda, Kazunori

Compute Distance To:
Author ID: ueda.kazunori Recent zbMATH articles by "Ueda, Kazunori"
Published as: Ueda, Kazunori; Ueda, K.
Documents Indexed: 28 Publications since 1987, including 5 Books

Publications by Year

Citations contained in zbMATH Open

13 Publications have been cited 45 times in 31 Documents Cited by Year
Guarded Horn clauses. Zbl 0771.68037
Ueda, Kazunori
20
1988
Self-pulsing laser as oscillator Toda: approximations through elementary functions. Zbl 1113.81140
Kouznetsov, D.; Bisson, J-F; Li, Jianlang; Ueda, K.
4
2007
Guarded Horn clauses: A parallel logic programming language with the concept of a guard. Zbl 0657.68011
Ueda, Kazunori
4
1988
LMNtal: A language model with links and membranes. Zbl 1117.68415
Ueda, Kazunori; Kato, Norio
3
2005
Resource-passing concurrent programming. Zbl 1087.68547
Ueda, Kazunori
3
2001
Pythagorean-hodograph curves on isothermal surfaces. Zbl 0959.65033
Ueda, K.
2
1998
Making exhaustive search programs deterministic. Zbl 0631.68074
Ueda, Kazunori
2
1987
LMNtal as a unifying declarative language: Live demonstration. Zbl 1131.68361
Ueda, Kazunori; Kato, Norio; Hara, Koji; Mizuno, Ken
2
2006
Kima: An automated error correction system for concurrent logic programs. Zbl 1034.68569
Ajiro, Yasuhiro; Ueda, Kazunori
1
2002
GHC - a language for a new age of parallel programming. Zbl 0667.68015
Furukawa, Koichi; Ueda, Kazunori
1
1988
Encoding the pure lambda calculus into hierarchical graph rewriting. Zbl 1145.68378
Ueda, Kazunori
1
2008
Programming languages and systems. 8th Asian symposium, APLAS 2010, Shanghai, China, November 28–December 1, 2010. Proceedings. Zbl 1202.68014
Ueda, Kazunori (ed.)
1
2010
Encoding distributed process calculi into LMNtal. Zbl 1279.68268
Ueda, Kazunori
1
2008
Programming languages and systems. 8th Asian symposium, APLAS 2010, Shanghai, China, November 28–December 1, 2010. Proceedings. Zbl 1202.68014
Ueda, Kazunori
1
2010
Encoding the pure lambda calculus into hierarchical graph rewriting. Zbl 1145.68378
Ueda, Kazunori
1
2008
Encoding distributed process calculi into LMNtal. Zbl 1279.68268
Ueda, Kazunori
1
2008
Self-pulsing laser as oscillator Toda: approximations through elementary functions. Zbl 1113.81140
Kouznetsov, D.; Bisson, J-F; Li, Jianlang; Ueda, K.
4
2007
LMNtal as a unifying declarative language: Live demonstration. Zbl 1131.68361
Ueda, Kazunori; Kato, Norio; Hara, Koji; Mizuno, Ken
2
2006
LMNtal: A language model with links and membranes. Zbl 1117.68415
Ueda, Kazunori; Kato, Norio
3
2005
Kima: An automated error correction system for concurrent logic programs. Zbl 1034.68569
Ajiro, Yasuhiro; Ueda, Kazunori
1
2002
Resource-passing concurrent programming. Zbl 1087.68547
Ueda, Kazunori
3
2001
Pythagorean-hodograph curves on isothermal surfaces. Zbl 0959.65033
Ueda, K.
2
1998
Guarded Horn clauses. Zbl 0771.68037
Ueda, Kazunori
20
1988
Guarded Horn clauses: A parallel logic programming language with the concept of a guard. Zbl 0657.68011
Ueda, Kazunori
4
1988
GHC - a language for a new age of parallel programming. Zbl 0667.68015
Furukawa, Koichi; Ueda, Kazunori
1
1988
Making exhaustive search programs deterministic. Zbl 0631.68074
Ueda, Kazunori
2
1987

Citations by Year