Concepedia

William C. Rounds

WC

25

Publications

1.4K

Citations

17

H-Index

1969

Active since

Affiliations

University of Michigan(Current)

Case Western Reserve University

Wayne State University

William C. Rounds is an author at University of Michigan specializing in automated reasoning, engineering, and computer science.

Top concepts

EngineeringAutomated ReasoningComputer ScienceFormal MethodsLanguageLinguisticsSyntaxGrammarComputational LinguisticsSemantics

Publications per year

1969–2006

25

Publications

25

Mappings and grammars on trees

William C. Rounds · Theory of Computing Systems · 1970 · 359 citations

Tree Language, Syntax, Automated Reasoning +7

A logical semantics for feature structures

Robert Kasper, William C. Rounds · 1986 · 187 citations · Full text

Engineering, Computational Complexity, Semantics +21

The intrinsically exponential complexity of the circularity problem for attribute grammars

Mehdi Jazayeri, William F. Ogden, William C. Rounds · Communications of the ACM · 1975 · 119 citations · Full text

Context-free Grammars, Engineering, Computational Complexity +22

A Complete Logical Calculus for Record Structures Representing Linguistic Information

William C. Rounds, Robert Kasper · Logic in Computer Science · 1986 · 76 citations

Syntax, Engineering, Automated Reasoning +12

The logic of unification in grammar

Robert Kasper, William C. Rounds · Linguistics and Philosophy · 1990 · 70 citations · Full text

Syntax, Automated Reasoning, Grammatical Formalism +6

Rows per page

1–5 of 25