MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Alan Smaill" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

42 documents found, showing 1 through 10. Next 10 →

ATOM

Musical Knowledge: what can Artificial Intelligence bring to the musician?
by Geraint Wiggins, Alan Smaill
…Musical Knowledge: what can Artificial Intelligence bring to the musician? Geraint Wiggins Alan…
Add To MetaCart

Continuations of Proof Strategies
by Julian Richardson, Alan Smaill — 2001
…Continuations of Proof Strategies Julian Richardson 1 and Alan Smaill 2 1 Department…
Cited by 5 (1 self) – Add To MetaCart

A Modular, Tactic-Based Approach to First-Order Temporal Theorem Proving
by Claudio Castellini, Alan Smaill — 2000
…A modular, tactic-based approach to rst-order temporal theorem proving Claudio Castellini and Alan…
Cited by 2 (2 self) – Add To MetaCart

Tactic-based theorem proving in first-order modal and temporal logics
by Claudio Castellini, Alan Smaill — 2001 — University of Siena
…Tactic-based theorem proving in First-Order Modal and Temporal Logics Claudio Castellini and Alan…
Cited by 4 (4 self) – Add To MetaCart

Proof planning for feature interactions: a preliminary report
by Claudio Castellini, Alan Smaill — 2002 — Proceedings of LPAR 2002, LNAI 2514
…Proof Planning for Feature Interactions: a preliminary report Claudio Castellini and Alan Smaill…
Cited by 6 (4 self) – Add To MetaCart

Proof planning for first-order temporal logic
by Claudio Castellini, Alan Smaill — 2005 — In proceedings of CADE, 20th International Conference on Automated Deduction
…Proof Planning for First-Order Temporal Logic Claudio Castellini 1,2 and Alan Smaill 2 1 LIRA…
Cited by 4 (3 self) – Add To MetaCart

Higher-order Annotated Terms for Proof Search
by Alan Smaill , Ian Green — 1996 — THEOREM PROVING IN HIGHER ORDER LOGICS: 9TH INTERNATIONAL CONFERENCE, TPHOLS’96
…Higher-order Annotated Terms for Proof Search Alan Smaill Ian Green y Abstract A notion…
Cited by 14 (3 self) – Add To MetaCart

Guiding Proof Search in Logical Frameworks with Rippling
by Santiago Negrete, Alan Smaill — 1995 — the Workshop on Proof Search in Type-Theoretic Languages, CADE12
…Guiding Proof Search in Logical Frameworks with Rippling Santiago Negrete y Alan Smaill y…
Cited by 1 (0 self) – Add To MetaCart

A Proof Environment for Arithmetic with the Omega Rule
by Siani Baker, Alan Smaill — 1994 — Proceedings of A ISMC-2, Lecture Notes in Computer Science, Springer-Verlag
…A Proof Environment for Arithmetic with the Omega Rule Siani Baker y Alan Smaill z Abstract…
Cited by 1 (0 self) – Add To MetaCart

Automating the Synthesis of Decision Procedures
by Alessandro Armando, Jason Gallagher, Alan Smaill — 1994
…Automating the synthesis of decision procedures Alessandro Armando Jason Gallagher Alan Smaill…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB