.:. Browse > List by authors > Liquori .:.

18 documents ordered by : Date Title first author name document type Submit date

1 - 2

A Generic Object-Calculus Based on Addressed Term Rewriting Systems Dougherty D., Lang F., Lescanne P., Liquori L., Rose K. N° RR-4549 (2002) [inria-00072039 - version 1]

Matching Power Cirstea H., Kirchner C., Liquori L. Dans 12th International Conference on Rewriting Techniques and Applications - RTA'2001 (2001) 18 p [inria-00107876 - version 1]

The Rho Cube Cirstea H., Kirchner C., Liquori L. Dans 4th International Conference on Foundations of Software Science and Computation Structures - FOSSACS 2001 (2001) 15 p [inria-00107877 - version 1]

A Rho Cube Cirstea H., Kirchner C., Liquori L. N° A00-R-344 || cirstea00d (2000) [inria-00099309 - version 1]

Matching Power Cirstea H., Kirchner C., Liquori L. N° A00-R-363 || cirstea00c (2000) [inria-00099308 - version 1]

Match-O, a Statically Safe(?) Dialect of Eiffel Colnet D., Liquori L. N° A00-R-103 || colnet00a (2000) [inria-00099299 - version 1]

Object Calculi in Linear Logic Bugliesi M., Delzanno G., Liquori L., Martelli M. Journal of Logic and Computation 10, 1 (2000) 75-104 [inria-00099162 - version 1]

Match-O, a Dialect of Eiffel with Match-Types Colnet D., Liquori L. Dans 37th International Conference on Technology of Object-Oriented Languages and Systems - TOOLS-Pacific 2000 (2000) 190-201 [inria-00099057 - version 1]