( en | de | ru )

 

Disambiguation of "Smaill, Alan"

Author of the publication

copydeleteadd this publication to your clipboard
Experiments in Automating Hardware Verification Using Inductive Proof Planning.

, , , and . FMCAD, volume 1166 of Lecture Notes in Computer Science, page 94-108. Springer, (1996)

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.

Safwat Alani

Maia Alandjiyska

Yilmaz Alan

Viola Alanku

Bertold Aland

 

Other publications of authors with the same name

An Algebraic Semantics of Prolog Program Termination., and . ICLP, page 316-330. MIT Press, (1991)Experiments in Automating Hardware Verification Using Inductive Proof Planning., , , and . FMCAD, volume 1166 of Lecture Notes in Computer Science, page 94-108. Springer, (1996)Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs., , and . CADE, volume 607 of Lecture Notes in Computer Science, page 310-324. Springer, (1992)Agent Protocols as Executable Ontologies., and . MICAI, volume 2972 of Lecture Notes in Computer Science, page 99-108. Springer, (2004)Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain., and . TPHOLs, volume 2152 of Lecture Notes in Computer Science, page 185-200. Springer, (2001)Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm., , and . ASE, page 2-9. IEEE Computer Society, (1997)Backbone Fragility and the Local Search Cost Peak., , and . J. Artif. Intell. Res., (2000)Local Search on Random 2+p-SAT., , and . ECAI, page 113-117. IOS Press, (2000)ABC Repair System for Datalog-like Theories., , and . KEOD, page 333-340. SciTePress, (2018)A Proof Environment for Arithmetic with the Omega Rule., and . AISMC, volume 958 of Lecture Notes in Computer Science, page 115-130. Springer, (1994)