|
СТ |
Constructive Intensional Negation |
2004 |
Munoz-Hernandez S., Marino J., Moreno-Navarro J. J. |
|
|
|
Lecture Notes in Computer Science |
07.05.2004 |
|
СТ |
Formal Extreme (and Extremely Formal) Programming |
2003 |
Herranz A., Moreno-Navarro J. J. |
|
|
|
Lecture Notes in Computer Science |
20.06.2003 |
|
СТ |
Using Static Analysis to Compile Non-sequential Functional Logic Programs |
2000 |
Marino J., Moreno-Navarro J. J. |
|
|
|
Lecture Notes in Computer Science |
03.02.2000 |
|
СТ |
How to Incorporate Negation in a Prolog Compiler |
2000 |
Moreno-Navarro J. J., Munoz-Hernandez S. |
|
|
|
Lecture Notes in Computer Science |
03.02.2000 |
|
СТ |
Extending Constructive Negation for Partial Functions in Lazy Functional-logic Languages |
1996 |
Moreno-Navarro J. J. |
|
|
|
Lecture Notes in Artificial Intelligence |
17.04.1996 |
|
СТ |
Default Rules: An Extension of Constructive Negation for Narrowing-based Languages |
1994 |
Moreno-Navarro J. J. |
|
|
|
Logic Programming: Proc. of the Eleventh Intern. Conf. |
01.02.1996 |
|
СТ |
BABEL: A Functional and Logic Programming Language based on constructor discipline and narrowing |
1988 |
Moreno-Navarro J. J., Rodrigues-Artalejo M. |
Mathematical Research |
|
|
Algebraic and Logic Programming |
30.06.1995 |
|
СТ |
Implementing a Lazy Functional Logic Language with Disequality Constraints |
1992 |
Kuchen H., Lopez-Fraguas F. J., Moreno-Navarro J. J., Rodrigues-Artalejo M. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
19.12.1994 |
|
СТ |
Visualization as Debugging: Understanding/Debugging the Warren Abstract Machine |
1993 |
Garcia-Martin J., Moreno-Navarro J. J. |
|
|
|
Lecture Notes in Computer Science |
09.12.1993 |
|
СТ |
Efficient Lazy Narrowing using Demandedness Analysis |
1993 |
Moreno-Navarro J. J., Kuchen H., Marino-Carballo J., Winkler S., Hans W. |
|
|
|
Lecture Notes in Computer Science |
22.09.1993 |
|
СТ |
Independent AND-Parallel Implementation of Narrowing |
1992 |
Kuchen H., Moreno-Navarro J. J., Hermenegildo M. V. |
|
|
|
Lecture Notes in Computer Science |
13.10.1992 |
|
СТ |
FRIENDLY-WAM: An Interactive Tool to Understand the Compilation of PROLOG |
1992 |
Martin J. G., Moreno-Navarro J. J. |
|
|
|
Lecture Notes in Artificial Intelligence |
11.08.1992 |
