( en | de | ru )

 

Disambiguation of "Gough, Graham"

Author of the publication

copydeleteadd this publication to your clipboard
Evaluating a Modular Abox Algorithm.

, , and . KR, page 227-238. Morgan Kaufmann, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hannah Gough

Edward Gough

Kevin Gough-Yates

Graham Wade

Graham Frost

 

Other publications of authors with the same name

METATEM: An Introduction., , , , and . Formal Aspects Comput., 7 (5): 533-549 (1995)Fair SMG and Linear Time Model Checking., , and . Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, page 133-150. Springer, (1989)A Semantics Driven Temporal Verification System., and . ESOP, volume 300 of Lecture Notes in Computer Science, page 21-33. Springer, (1988)Efficient CTL* model checking for analysis of rainbow designs., , , , and . CHARME, volume 105 of IFIP Conference Proceedings, page 128-145. Chapman & Hall, (1997)Rainbow: Development, Simulation and Analysis Tools for Asynchronous Micropipeline Hardware Design., , , and . Comput. J., 45 (1): 2-11 (2002)METATEM: A Framework for Programming in Temporal Logic., , , , and . REX Workshop, volume 430 of Lecture Notes in Computer Science, page 94-129. Springer, (1989)A Process Algebra Foundation for Reasoning about Core ELLA., , , and . Comput. J., 39 (4): 303-324 (1996)Description Logics with Transitive Roles., and . Description Logics, volume 410 of URA-CNRS, (1997)ABox Reasoning with Transitive Roles and Axioms., and . Description Logics, volume 22 of CEUR Workshop Proceedings, CEUR-WS.org, (1999)Evaluating a Modular Abox Algorithm., , and . KR, page 227-238. Morgan Kaufmann, (2002)