Skip to main content
Username
*
Password
*
Forgot Password?
F.LI.T.
(Formal LIght-weight Tools)
Main menu
Publications
Publications
Navigation
Publications
You are here
Home
A Fast Algebraic Web Verification Service
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.
Google Scholar
BibTex
Google Scholar
BibTex