Clausal Logic and Logic Programming in Algebraic Domains von Rounds, William C, Zhang, Guo-Qiang

Volltext

A Spatial Logic for the Hybrid π-Calculus von Rounds, William C.

Volltext

Reasoning with power defaults von Zhang, Guo-Qiang, Rounds, William C.

Volltext

Defaults in domain theory von Zhang, Guo-Qiang, Rounds, William C.

Volltext

Logical considerations on default semantics von Rounds, William C, Zhang, Guo‐Qiang

Volltext

Nonmonotonic consequences in default domain theory von Zhang, Guo‐Qiang, Rounds, William C

Volltext

The Logic of Unification in Grammar von Kasper, Robert T., Rounds, William C.

Volltext

On properties preserved by contractions of concurrent systems von Gourlay, John S., Rounds, William C., Statman, Richard

Volltext

LFP: A Logic for Linguistic Descriptions and an Analysis of Its Complexity von Rounds, William C

Volltext

LFP von Rounds, William C

Volltext

SPHIN: A model checker for reconfigurable hybrid systems based on SPIN von Song, Hosung, Compton, Kevin J., Rounds, William C.

Volltext

Domain Theory Meets Default Logic von ROUNDS, WILLIAM C., ZHANG, GUO-QIANG

Volltext

Mappings and grammars on trees von Rounds, William C.

Volltext

The intrinsically exponential complexity of the circularity problem for attribute grammars von Jazayeri, Mehdi, Ogden, William F., Rounds, William C.

Volltext

On subsumption and semiunification in feature algebras von Dörre, Jochen, Rounds, William C.

Volltext

Complexity of power default reasoning von Guo-Qiang Zhang, Rounds, W.C.

Volltext

A modal logic for reasoning about belief von Guo-Qiang Zhang, Chang Huang, Rounds, W.C.

Volltext

Power defaults (preliminary report) von Zhang, Guo-Qiang, Rounds, William C.

Volltext

Applications of topology to semantics of communicating processes von Rounds, William C.

Volltext

The Ö-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems von Rounds, William C., Song, Hosung

Volltext