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 Meta-Theory 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 Meta-Theory 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
|