Sciweavers

10935 search results - page 361 / 2187

» Neural Programming Language

133

IFIP
2004
Springer

96views Programming Languages» more IFIP 2004»

Highly Undecidable Questions for Process Algebras

16 years 19 days ago

Highly Undecidable Questions for Process Algebras

Download www.brics.dk

Petr Jancar, Jirí Srba

claim paper

Read More »

113

Voted

IFIP
2004
Springer

92views Programming Languages» more IFIP 2004»

Behavioural Theory for Mobile Ambients

16 years 19 days ago

Behavioural Theory for Mobile Ambients

Download profs.sci.univr.it

Massimo Merro, Francesco Zappa Nardelli

claim paper

Read More »

128

PPDP
2004
Springer

82views Programming Languages» more PPDP 2004»

Formalization and abstract implementation of rewriting with nested rules

16 years 19 days ago

Formalization and abstract implementation of rewriting with nested rules

Download web.cecs.pdx.edu

Sergio Antoy, Stephen Johnson

claim paper

Read More »

159

PPDP
2004
Springer

104views Programming Languages» more PPDP 2004»

iRho: an imperative rewriting calculus

16 years 19 days ago

iRho: an imperative rewriting calculus

Download rho.loria.fr

Luigi Liquori, Bernard P. Serpette

claim paper

Read More »

174

Voted

PPDP
2004
Springer

97views Programming Languages» more PPDP 2004»

New completeness results for lazy conditional narrowing

16 years 19 days ago

New completeness results for lazy conditional narrowing

Download www.score.is.tsukuba.ac.jp

Mircea Marin, Aart Middeldorp

claim paper

Read More »

« Prev « First page 361 / 2187 Last » Next »