Search the dblp DataBase
William C. Rounds :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
William C. Rounds , Robert T. Kasper A Complete Logical Calculus for Record Structures Representing Linguistic Information [Citation Graph (1, 0)][DBLP ] LICS, 1986, pp:38-43 [Conf ] Eric Klavins , William C. Rounds , Guo-Qiang Zhang Experimenting with Power Default Reasoning. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, 1998, pp:846-852 [Conf ] Mark A. Young , William C. Rounds A Logical Semantics for Nonmonotonic Sorts. [Citation Graph (0, 0)][DBLP ] ACL, 1993, pp:209-215 [Conf ] William C. Rounds Applications of Topology to Semantics of Communicating Processes. [Citation Graph (0, 0)][DBLP ] Seminar on Concurrency, 1984, pp:360-372 [Conf ] William C. Rounds Complexity of Recognition in Intermediate-Level Languages [Citation Graph (0, 0)][DBLP ] FOCS, 1973, pp:145-158 [Conf ] William C. Rounds A Grammatical Characterization of Exponential-Time Languages [Citation Graph (0, 0)][DBLP ] FOCS, 1975, pp:135-143 [Conf ] William C. Rounds , Stephen D. Brookes Possible Futures, Acceptances, Refusals, and Communicating Processes [Citation Graph (0, 0)][DBLP ] FOCS, 1981, pp:140-149 [Conf ] Guo-Qiang Zhang , Chang Huang , William C. Rounds A Modal Logic for Reasoning about Belief. [Citation Graph (0, 0)][DBLP ] HICSS (5), 1997, pp:383-0 [Conf ] William C. Rounds A Spatial Logic for the Hybrid p-Calculus. [Citation Graph (0, 0)][DBLP ] HSCC, 2004, pp:508-522 [Conf ] William C. Rounds , Hosung Song The Phi-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2003, pp:435-449 [Conf ] Stephen D. Brookes , William C. Rounds Behavioural Equivalence Relations Induced by Programming Logics. [Citation Graph (0, 0)][DBLP ] ICALP, 1983, pp:97-108 [Conf ] Jochen Dörre , William C. Rounds On Subsumption and Semiunification in Feature Algebras [Citation Graph (0, 0)][DBLP ] LICS, 1990, pp:300-310 [Conf ] Guo-Qiang Zhang , William C. Rounds Complexity of Power Default Reasoning. [Citation Graph (0, 0)][DBLP ] LICS, 1997, pp:328-339 [Conf ] Guo-Qiang Zhang , William C. Rounds Power Defaults. [Citation Graph (0, 0)][DBLP ] LPNMR, 1997, pp:152-169 [Conf ] Mehdi Jazayeri , William F. Ogden , William C. Rounds On the Complexity of the Circularity Test for Attribute Grammars. [Citation Graph (0, 0)][DBLP ] POPL, 1975, pp:119-129 [Conf ] M. Drew Moshier , William C. Rounds A Logic for Partially Specified Data Structures. [Citation Graph (0, 0)][DBLP ] POPL, 1987, pp:156-167 [Conf ] William F. Ogden , William E. Riddle , William C. Rounds Complexity of Expressions Allowing Concurrency. [Citation Graph (0, 0)][DBLP ] POPL, 1978, pp:185-194 [Conf ] William C. Rounds , Guo-Qiang Zhang Constraints in Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP ] PPCP, 1993, pp:247-257 [Conf ] John S. Gourlay , William C. Rounds , Richard Statman On Properties Preserved by Contraction of Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Semantics of Concurrent Computation, 1979, pp:51-65 [Conf ] William F. Ogden , William C. Rounds Compositions of n Tree Transducers [Citation Graph (0, 0)][DBLP ] STOC, 1972, pp:198-206 [Conf ] William C. Rounds Context-Free Grammars on Trees [Citation Graph (0, 0)][DBLP ] STOC, 1969, pp:143-148 [Conf ] William C. Rounds Tree-Oriented Proofs of Some Theorems on Context-Free and Indexed Languages [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:109-116 [Conf ] William C. Rounds , Guo-Qiang Zhang Logical Considerations on Default Semantics. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 1997, v:20, n:1-4, pp:195-226 [Journal ] Guo-Qiang Zhang , William C. Rounds Nonmonotonic Consequences in Default Domain Theory. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 1997, v:20, n:1-4, pp:227-265 [Journal ] Mehdi Jazayeri , William F. Ogden , William C. Rounds The Intrinsically Exponential Complexity of the Circularity Problem for Attribute Grammars. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1975, v:18, n:12, pp:697-706 [Journal ] Michael B. Kac , Alexis Manaster-Ramer , William C. Rounds Simultaneous-Distributive Coordination and Context-Freeness. [Citation Graph (0, 0)][DBLP ] Computational Linguistics, 1987, v:13, n:1-2, pp:25-30 [Journal ] William C. Rounds LFP A Logic for Linguistic Descriptions and an Analysis of its Complexity. [Citation Graph (0, 0)][DBLP ] Computational Linguistics, 1988, v:14, n:3, pp:1-9 [Journal ] Hosung Song , Kevin J. Compton , William C. Rounds SPHIN: A model checker for reconfigurable hybrid systems based on SPIN. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:167-183 [Journal ] Guo-Qiang Zhang , William C. Rounds Resolution in the Smyth powerdomain. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1997, v:6, n:, pp:- [Journal ] William G. Golson , William C. Rounds Connections Between Two Theories of Concurrency: Metric Spaces and Synchronization Trees [Citation Graph (0, 0)][DBLP ] Information and Control, 1983, v:57, n:2/3, pp:102-124 [Journal ] William C. Rounds On the Relationship between Scott Domains, Synchronization Trees, and Metric Spaces [Citation Graph (0, 0)][DBLP ] Information and Control, 1985, v:66, n:1/2, pp:6-28 [Journal ] William C. Rounds , Guo-Qiang Zhang Clausal Logic and Logic Programming in Algebraic Domains. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2001, v:171, n:2, pp:183-200 [Journal ] Jochen Dörre , William C. Rounds On Subsumption and Semiunifaction in Feature Algebras. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1992, v:13, n:4, pp:441-461 [Journal ] William C. Rounds , Guo-Qiang Zhang Domain Theory Meets Default Logic. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 1995, v:5, n:1, pp:1-25 [Journal ] William C. Rounds Mappings and Grammars on Trees. [Citation Graph (0, 0)][DBLP ] Mathematical Systems Theory, 1970, v:4, n:3, pp:257-287 [Journal ] Guo-Qiang Zhang , William C. Rounds Reasoning with power defaults. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2004, v:323, n:1-3, pp:321-350 [Journal ] Guo-Qiang Zhang , William C. Rounds Defaults in Domain Theory. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:177, n:1, pp:155-182 [Journal ] Search in 0.110secs, Finished in 0.112secs