Searching for authors named "Ian Green" – sorted by Relevance.
18 documents found, showing 1 through 10.
Next 10 →
-
An experimental comparison of rippling and exhaustive rewriting
- …An Experimental Comparison of Rippling and Exhaustive Rewriting Alan Bundy A.Bundy@(email omitted); Ian…
- Cited by 2 (2 self) – Add To MetaCart
-
Higher-order Annotated Terms for Proof Search
- …Higher-order Annotated Terms for Proof Search Alan Smaill Ian Green y Abstract A notion…
- Cited by 14 (3 self) – Add To MetaCart
-
Observant: an Annotated Term-Rewriting System for Deciding Observation Congruence
- …@(email omitted); Alan Bundy and Ian Green Department of Artificial Intelligence, Edinburgh University 80 South Bridge…
- Add To MetaCart
-
Planning Equational Verification in CCS
- …. First author was funded by grant SEP-REDII. Alan Bundy Ian Green Department of Artificial Intelligence…
- Cited by 1 (1 self) – Add To MetaCart
-
Coloured rippling: An extension of a theorem proving heuristic
- … Ian Green 1 Toby Walsh 2 David Basin 3 Abstract. Rippling is a type of rewriting developed…
- Cited by 9 (4 self) – Add To MetaCart
-
Automation of Diagrammatic Reasoning
- …Automation of Diagrammatic Reasoning Mateja Jamnik, Alan Bundy, Ian Green Department…
- Cited by 5 (2 self) – Add To MetaCart
-
On Automating Diagrammatic Proofs of Arithmetic Arguments
- …On Automating Diagrammatic Proofs of Arithmetic Arguments Mateja Jamnik, Alan Bundy and Ian Green…
- Cited by 14 (2 self) – Add To MetaCart
-
Verification of Diagrammatic Proofs
- …Verification of Diagrammatic Proofs Mateja Jamnik, Alan Bundy, Ian Green Department of Artificial…
- Cited by 1 (0 self) – Add To MetaCart
-
A comparison of decision procedures in Presburger arithmetic
- …A comparison of decision procedures in Presburger arithmetic Predrag Janici'c Ian Green Alan…
- Cited by 4 (1 self) – Add To MetaCart
-
A framework for the flexible integration of a class of decision procedures into theorem provers
- … of Decision Procedures into Theorem Provers by Predrag Janicic, Alan Bundy, Ian Green Informatics Research…
- Cited by 4 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
