E-LIB Suche - Ergebnisse für: Rodríguez-Artalejo, Mario

1

Algebraic and Logic Programming

Proceedings of an International Workshop held in Gaussig (G... Mathematical Research ; 49, Mathematische Forschung

Beierle, Christoph ; Bergstra, J.A ; Bockmayr, Alexander... - Reprint 2022 . , [2022]

2

Automata, Languages and Programming

18th International Colloquium, Madrid, Spain, July 8-12, 19... Lecture Notes in Computer Science ; 510;SpringerLink, Bücher

Leach Albert, Javier ; Monien, Burkhard ; Rodriguez Artalejo, Mario , 1991

Link: https://doi.org/10.1007/..

3

Functional and Logic Programming

6th International Symposium, FLOPS 2002 Aizu, Japan, Septem... Lecture Notes in Computer Science ; 2441;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Hu, Zhenjiang ; Rodriguez-Artalejo, Mario , 2002

Link: https://doi.org/10.1007/..

4

Computer Science Logic

13th International Workshop, CSL’99 8th Annual Conference o... Lecture Notes in Computer Science ; 1683;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Flum, Jörg ; Rodriguez-Artalejo, Mario , 1999

Link: https://doi.org/10.1007/..

5

Algebraic and Logic Programming

5th International Conference, ALP '96, Aachen, Germany, Sep... Lecture Notes in Computer Science ; 1139;SpringerLink, Bücher

Hanus, Michael ; Rodriguez-Artalejo, Mario , 1996

Link: https://doi.org/10.1007/..

6

Algebraic and Logic Programming

4th International Conference, ALP '94, Madrid, Spain, Septe... Lecture Notes in Computer Science ; 850;SpringerLink, Bücher

Levi, Giorgio ; Rodriguez-Artalejo, Mario , 1994

Link: https://doi.org/10.1007/..