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 × Germany
1 × Poland
1 × Spain
7 × USA
Collaborated with:
W.F.Ogden G.Zhang J.Dörre M.D.Moshier R.T.Kasper S.D.Brookes W.E.Riddle M.Jazayeri
Talks about:
complex (3) logic (3) tree (3) structur (2) grammar (2) context (2) free (2) behaviour (1) transduc (1) subsumpt (1)

Person: William C. Rounds

DBLP DBLP: Rounds:William_C=

Facilitated 1 volumes:

STOC 1975Ed

Contributed to:

LICS 19971997
LICS 19901990
POPL 19871987
LICS 19861986
ICALP 19831983
POPL 19781978
POPL 19751975
STOC 19721972
STOC 19701970
STOC 19691969

Wrote 10 papers:

LICS-1997-ZhangR #complexity #reasoning
Complexity of Power Default Reasoning (GQZ, WCR), pp. 328–339.
LICS-1990-DorreR #algebra #on the
On Subsumption and Semiunification in Feature Algebras (JD, WCR), pp. 300–310.
POPL-1987-MoshierR #data type #logic
A Logic for Partially Specified Data Structures (MDM, WCR), pp. 156–167.
LICS-1986-RoundsK #calculus #logic #representation
A Complete Logical Calculus for Record Structures Representing Linguistic Information (WCR, RTK), pp. 38–43.
ICALP-1983-BrookesR #behaviour #equivalence #logic #programming
Behavioural Equivalence Relations Induced by Programming Logics (SDB, WCR), pp. 97–108.
POPL-1978-OgdenRR #complexity #concurrent
Complexity of Expressions Allowing Concurrency (WFO, WER, WCR), pp. 185–194.
POPL-1975-JazayeriOR #attribute grammar #complexity #on the
On the Complexity of the Circularity Test for Attribute Grammars (MJ, WFO, WCR), pp. 119–129.
STOC-1972-OgdenR #composition #transducer
Compositions of n Tree Transducers (WFO, WCR), pp. 198–206.
STOC-1970-Rounds #proving #theorem
Tree-Oriented Proofs of Some Theorems on Context-Free and Indexed Languages (WCR), pp. 109–116.
STOC-1969-Rounds #context-free grammar
Context-Free Grammars on Trees (WCR), pp. 143–148.

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.