dblp.uni-trier.dewww.uni-trier.de

Laureano Lambán

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
5EEMirian Andrés, Laureano Lambán, Julio Rubio: Executing in Common Lisp, Proving in ACL2. Calculemus/MKM 2007: 1-12
2005
4EECésar Domínguez, Dominique Duval, Laureano Lambán, Julio Rubio Garcia: Towards Diagrammatic Specifications of Symbolic Computation Systems. Mathematics, Algorithms, Proofs 2005
2003
3EELaureano Lambán, Vico Pascual, Julio Rubio: An Object-oriented Interpretation of the EAT System. Appl. Algebra Eng. Commun. Comput. 14(3): 187-215 (2003)
2001
2EECésar Domínguez, Laureano Lambán, Vico Pascual, Julio Rubio: Hidden Specification of a Functional System. EUROCAST 2001: 555-569
1999
1EELaureano Lambán, Vico Pascual, Julio Rubio: Specifying Implementations. ISSAC 1999: 245-251

Coauthor Index

1Mirian Andrés [5]
2César Domínguez [2] [4]
3Dominique Duval [4]
4Vico Pascual [1] [2] [3]
5Julio Rubio (Julio Rubio Garcia) [1] [2] [3] [4] [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)