|
Journals in DBLP
- Mutsunori Banbara, Naoyuki Tamura
Translating a Linear Logic Programming Language into Java. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:30, n:3, pp:- [Journal]
- Henri Lesourd
The Implementation of the Hammurabi System. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:30, n:3, pp:- [Journal]
- Kyoung-Sun Kang, Naoyuki Tamura
A Static Analysis Method for a Classical Linear Logic Programming Language. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:30, n:3, pp:- [Journal]
- Martin Henz, Tobias Müller, Ka Boon Ng
Figaro: Yet Another Constraint Programming Library. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:30, n:3, pp:- [Journal]
- Daniel Cabeza Gras, Manuel V. Hermenegildo
The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:30, n:3, pp:- [Journal]
- Daniel Cabeza Gras, Manuel V. Hermenegildo
The Ciao Module System: A New Module System for Prolog. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:30, n:3, pp:- [Journal]
- Lígia Ferreira, Salvador Abreu
A Constraint Logic Programming Framwork in Java. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:30, n:3, pp:- [Journal]
- Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:30, n:3, pp:- [Journal]
- Baoqiu Cui, David Scott Warren
Attributed Variables in XSB. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:30, n:3, pp:- [Journal]
- Manuel Eduardo Correia, Vítor Santos Costa
IAP for dummies: The YAP Design. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:30, n:3, pp:- [Journal]
- Paul Tarau
Multi-engine Horn Clause Prolog. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:30, n:3, pp:- [Journal]
|