BibSonomy :: author :: Rounds ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(54)

<< < 1 | 2 | 3 > >>

On Subsumption and Semiunification in Feature Algebras
Jochen Dörre, and William C. Rounds LICS, page 300-310. IEEE Computer Society, (1990)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Complexity of Power Default Reasoning.
Guo-Qiang Zhang, and William C. Rounds LICS, page 328-339. IEEE Computer Society, (1997)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
On the Succinctness Properties of Unordered Context-Free Grammars.
M. Drew Moshier, and William C. Rounds ACL, page 112-116. ACL, (1987)
to dblp by dblp on Jan 1, 2012, 12:00 AM
URL | BibTeX
A Logical Version of Functional Grammar.
William C. Rounds, and Alexis Manaster-Ramer ACL, page 89-96. ACL, (1987)
to dblp by dblp on Jan 1, 2012, 12:00 AM
URL | BibTeX
On Subsumption and Semiunifaction in Feature Algebras
Jochen Dörre, and William C. Rounds IWBS Report (1989)
to dblp by dblp on Dec 29, 2011, 12:00 AM
BibTeX
Experimenting with Power Default Reasoning.
Eric Klavins, William C. Rounds, and Guo-Qiang Zhang AAAI/IAAI, page 846-852. AAAI Press / The MIT Press, (1998)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
A Logical Semantics for Nonmonotonic Sorts.
Mark A. Young, and William C. Rounds ACL, page 209-215. ACL, (1993)
to dblp by dblp and 1 other user on Dec 23, 2011, 12:00 AM
URL | BibTeX
Dynamic Syntax Specification Using Grammar Forms.
Seymour Ginsburg, and Erica M. Rounds IEEE Trans. Software Eng. 4(1):44-55 (1978)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
A Grammatical Characterization of Exponential-Time Languages
William C. Rounds FOCS, page 135-143. IEEE Computer Society, (1975)
to dblp by dblp on Oct 19, 2011, 12:00 AM
URL | BibTeX
Possible Futures, Acceptances, Refusals, and Communicating Processes
William C. Rounds, and Stephen D. Brookes FOCS, page 140-149. IEEE Computer Society, (1981)
to dblp by dblp on Oct 19, 2011, 12:00 AM
URL | BibTeX
Complexity of Recognition in Intermediate-Level Languages
William C. Rounds SWAT FOCS, page 145-158. IEEE Computer Society, (1973)
to dblp by dblp on Oct 18, 2011, 12:00 AM
URL | BibTeX
Compositions of n Tree Transducers
William F. Ogden, and William C. Rounds STOC, page 198-206. ACM, (1972)
to dblp by dblp and 1 other user on Oct 17, 2011, 12:00 AM
URL | BibTeX
Context-Free Grammars on Trees
William C. Rounds STOC, page 143-148. ACM, (1969)
to dblp by dblp and 1 other user on Oct 17, 2011, 12:00 AM
URL | BibTeX
Tree-Oriented Proofs of Some Theorems on Context-Free and Indexed Languages
William C. Rounds STOC, page 109-116. ACM, (1970)
to dblp by dblp on Oct 17, 2011, 12:00 AM
URL | BibTeX
On Subsumption and Semiunifaction in Feature Algebras.
Jochen Dörre, and William C. Rounds J. Symb. Comput. 13(4):441-461 (1992)
to dblp by dblp on Sep 20, 2011, 12:00 AM
URL | BibTeX
A Spatial Logic for the Hybrid p-Calculus.
William C. Rounds HSCC, volume 2993 of Lecture Notes in Computer Science, page 508-522. Springer, (2004)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
The Phi-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems.
William C. Rounds, and Hosung Song HSCC, volume 2623 of Lecture Notes in Computer Science, page 435-449. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Domain Theory Meets Default Logic.
William C. Rounds, and Guo-Qiang Zhang J. Log. Comput. 5(1):1-25 (1995)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Resolution in the Smyth powerdomain.
Guo-Qiang Zhang, and William C. Rounds Electr. Notes Theor. Comput. Sci. (1997)
to dblp by dblp on Jun 20, 2011, 12:00 AM
URL | BibTeX
On Properties Preserved by Contraction of Concurrent Systems.
John S. Gourlay, William C. Rounds, and Richard Statman Semantics of Concurrent Computation, volume 70 of Lecture Notes in Computer Science, page 51-65. Springer, (1979)
to dblp by dblp on Jun 9, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100