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 × Finland
1 × Italy
2 × Spain
Collaborated with:
B.Das P.Scharpfenecker
Talks about:
isomorph (2) resolut (2) complex (2) graph (2) combinatori (1) techniqu (1) succinct (1) space (1) separ (1) lower (1)

Person: Jacobo Torán

DBLP DBLP: Tor=aacute=n:Jacobo

Contributed to:

LATA 20142014
SAT 20132013
CSL 19991999
ICALP 19891989

Wrote 4 papers:

LATA-2014-DasST #encoding #graph #morphism
Succinct Encodings of Graph Isomorphism (BD, PS, JT), pp. 285–296.
SAT-2013-Toran #complexity #graph #morphism #on the
On the Resolution Complexity of Graph Non-isomorphism (JT), pp. 52–66.
CSL-1999-Toran #bound
Lower Bounds for Space in Resolution (JT), pp. 362–373.
ICALP-1989-Toran #combinator #complexity
A Combinatorial Technique for Separating Counting Complexity Classes (JT), pp. 733–744.

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.