Please note that only papers and publications recorded in this departments
database are shown here. An author may have many other papers and
publications produced while working elsewhere which are not listed here.
This page does not therefore represent a definitive list of this authors
work.

 Chapter in Edited Book

CB375
 1989 Chapter in Edited Book
 Giunchiglia,F; Smaill,AD

 Reflection in Constructive and Non Constructive Automated Reasoning

 Journal Paper

JP1194
 1997 Journal Paper
 Bundy,A; Giunchiglia,F; Villafiorita,F; Walsh,T

 Abstract proof checking: an example motivated by an Incompleteness Theorem (RP809)

JP1062
 1996 Journal Paper
 Bundy,A; Giunchiglia,F; Sebastiani,R; Walsh,T

 Calculating Criticalities

JP141
 1992 Journal Paper
 Giunchiglia,F; Walsh,T

 a Theory of Abstraction

 Paper in Conference Proceedings

PP1054
 1996 Paper in Conference Proceedings
 Bundy,A; Giunchiglia,F; Sebastiani,R; Walsh,T

 Computing Abstraction Hierarchies by Numerical Simulation

PP188
 1992 Paper in Conference Proceedings
 Walsh,T; Giunchiglia,F

 Theories of Abstraction: a Historical Perspective

PP21
 1991 Paper in Conference Proceedings
 Giunchiglia,F; Walsh,T

 Using Abstraction

PP8
 1991 Paper in Conference Proceedings
 Basin,D; Traverso,P; Giunchiglia,F

 Automatic MetaTheory Creation and System Extension

PP376
 1989 Paper in Conference Proceedings
 Giunchiglia,F; Walsh,T

 Abstract Theorem Proving

PP377
 1989 Paper in Conference Proceedings
 Giunchiglia,F; Walsh,T

 Theorem Proving with Definitions

 Research Paper

RP807
 1996 Research Paper
 Bundy,A; Giunchiglia,F; Sebastiani,R; Walsh,T

 Calculating Criticalities

RP808
 1996 Research Paper
 Bundy,A; Giunchiglia,F; Sebastiani,R; Walsh,T

 Computing Abstraction Hierarchies by Numerical Simulation

RP809
 1996 Research Paper
 Bundy,A; Giunchiglia,F; Villafiorti,A; Walsh,T

 An Incompleteness Theorem Via Abstraction

RP543
 1991 Research Paper
 Basin,D; Giunchiglia,F; Traverso,P

 Automating MetaTheory Creation and System Extension

RP454
 1990 Research Paper
 Giunchiglia,F; Walsh,T

 The Use of Abstraction in Automatic Inference

RP460
 1990 Research Paper
 Giunchiglia,F; Walsh,T

 Abstract Theorem Proving: Mapping Back

RP506
 1990 Research Paper
 Bundy,A; Giunchiglia,F; Walsh,T

 Building Abstractions

RP514
 1990 Research Paper
 Giunchiglia,F; Walsh,T

 Abstracting into Inconsistent Spaces (or, the "False Proof" Problem)

RP515
 1990 Research Paper
 Giunchiglia,F; Walsh,T

 Using Abstraction

RP516
 1990 Research Paper
 Giunchiglia,F; Walsh,T

 A Theory of Abstraction
