BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × France
1 × United Kingdom
2 × USA
Collaborated with:
D.J.Dougherty V.Fionda G.Pirrò C.A.Hurtado A.O.Mendelzon
Talks about:
web (2) knowledg (1) satisfi (1) foundat (1) databas (1) theori (1) semant (1) reduct (1) pspace (1) prolog (1)

Person: Claudio Gutiérrez

DBLP DBLP: Guti=eacute=rrez_0002:Claudio

Contributed to:

KR 20142014
PODS 20042004
RTA 20002000
STOC 20002000
LFP 19821982

Wrote 5 papers:

KR-2014-FiondaGP #graph #web
Knowledge Maps of Web Graphs (VF, CG, GP).
PODS-2004-GutierrezHM #database #semantics #web
Foundations of Semantic Web Databases (CG, CAH, AOM), pp. 95–106.
RTA-2000-DoughertyG #normalisation #reduction
Normal Forms and Reduction for Theories of Binary Relations (DJD, CG), pp. 95–109.
STOC-2000-Gutierrez #equation #satisfiability
Satisfiability of equations in free groups is in PSPACE (CG), pp. 21–27.
LFP-1982-Gutierrez #lisp #prolog
Prolog Compared with Lisp (CG), pp. 143–149.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.