You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 94 results:

BibTex

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

A

M. Alpuente, Ballis, D., Escobar, S., Falaschi, M., and Lucas, S., “Abstract Correction of First-Order Functional Programs”, 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, vol. 86. Elsevier, 2003.

M. Alpuente, Ballis, D., Falaschi, M., Ojeda, P., and Romero, D. O., “A Fast Algebraic Web Verification Service”, Web Reasoning and Rule Systems, 1st International Conference, RR 2007, vol. 4524. Springer, 2007.

M. Alpuente, Ballis, D., and Romero, D. O., “Specification and Verification of Web Applications in Rewriting Logic”, 16th International Symposium on Formal Methods, FM 2009. Springer, pp. 790–805, 2009.

M. Alpuente, Comini, M., Escobar, S., Falaschi, M., and Iborra, J., “A Compact Fixpoint Semantics for Term Rewriting Systems”, Theoretical Computer Science, 2010.

Pages