Publications

Show only items where

Author

Type

Term

Year

Keyword

Export 1 results:

Filters: Keyword is Rewriting Logic and Author is P. Ojeda [Clear All Filters]

2007

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.

Main menu