|
СТ |
Non-interleaved Quadtree Node Codification |
2003 |
Perez M., Fernandez M., Olanda R. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
18.01.2005 |
|
СТ |
Crowing XQuery |
2003 |
Fernandez M., Simeon J. |
|
|
|
Lecture Notes in Computer Science |
23.09.2003 |
|
СТ |
An Operational Approach to Program Extraction in the Calculus of Constructions |
2003 |
Fernandez M., Severi P. |
|
|
|
Lecture Notes in Computer Science |
20.09.2003 |
|
СТ |
Load Redundancy Elimination on Executable Code |
2001 |
Fernandez M., Espasa R., Debray S. |
|
|
|
Lecture Notes in Computer Science |
21.08.2001 |
|
СТ |
An Algebra for XML Query |
2000 |
Fernandez M., Simeon J., Walder Ph. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.01.2001 |
|
СТ |
A Semi-monad for Semi-structured Data (ICDT Version) |
2000 |
Fernandez M., Simeon J., Wadler P. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.01.2001 |
|
СТ |
A Theory of Operational Equivalence for Interaction Nets |
2000 |
Fernandez M., Mackie I. |
|
|
|
Lecture Notes in Computer Science |
05.05.2000 |
|
СТ |
Closed Reductions in the lambda-calculus |
1999 |
Fernandez M., Mackie I. |
|
|
|
Lecture Notes in Computer Science |
12.11.1999 |
|
СТ |
A Calculus for Interaction Nets |
1999 |
Fernandez M., Mackie I. |
|
|
|
Lecture Notes in Computer Science |
27.10.1999 |
|
СТ |
A Structure-Based Approach to Querying Semi-structured Data |
1998 |
Fernandez M., Popa L., Suciu D. |
|
|
|
Lecture Notes in Computer Science |
22.08.1998 |
|
СТ |
An Object Calculus with Algebraic Rewriting |
1997 |
Compagnoni A., Fernandez M. |
|
|
|
Lecture Notes in Computer Science |
05.09.1997 |
|
СТ |
Virtual Reality for Driving Simulation |
1996 |
Bayarri S., Fernandez M., Perez M. |
|
|
|
Communications of the ACM |
28.05.1996 |
|
СТ |
Rewrite Systems with Abstraction and -rule: Types, Approximants and Normalization |
1996 |
Van Bakel S., Barbanera F., Fernandez M. |
|
|
|
Lecture Notes in Computer Science |
18.05.1996 |
|
СТ |
Modular Termination of Term Rewriting Systems Revisited |
1995 |
Fernandez M., Jouannaud J. -P. |
|
|
|
Lecture Notes in Computer Science |
24.05.1995 |
|
СТ |
(Head-)Normalization of Typeable Rewrite Systems |
1995 |
Van Bakel S., Fernandez M. |
|
|
|
Lecture Notes in Computer Science |
28.04.1995 |
|
СТ |
Strong Normalization of Typeable Rewrite Systems |
1994 |
Van Bakel S., Fernandez M. |
|
|
|
Lecture Notes in Computer Science |
24.08.1994 |
