Home News About Us Contact Contributors Disclaimer Privacy Policy Help FAQ

Home
Search
Quick Search
Advanced
Fulltext
Browse
Collections
Persons
My eDoc
Session History
Login
Name:
Password:
Documentation
Help
Support Wiki
Direct access to
document ID:


          Display Documents


Institute:
Collection:
Print in Citation style Print version     Display:
Sort by: Display records with Fulltext only
Entries: 1-10  
 Basket 
Logical Frameworks
Editors: Gabbay, Dov; Guenthner, Franz
Authors: Basin, David A.; Matthews, Sean
Title of Book: Handbook of Philosophical Logic
Start Page: 89
End Page: 164
Place of Publication: Dordrecht, The Netherlands
Publisher: Reidel
Date of Publication (YYYY-MM-DD): 2002
Document Type: InBook
ID: 202122.0
Automated Complexity Analysis Based on Ordered Resolution
Authors: Basin, David A.; Ganzinger, Harald
Date of Publication (YYYY-MM-DD): 2001
Title of Journal: Journal of the ACM
Volume: 48
Start Page: 70
End Page: 109
Document Type: Article
ID: 202123.0
A Higher-order Interpretation of Deductive Tableau
Authors: Ayari, Abdelwaheb; Basin, David A.
Date of Publication (YYYY-MM-DD): 2001
Title of Journal: Journal of Symbolic Computation
Volume: 31
Issue / Number: 5
Start Page: 487
End Page: 520
Document Type: Article
ID: 519820.0
Automated Complexity Analysis Based on Ordered Resolution
Authors: Basin, David A.; Ganzinger, Harald
Date of Publication (YYYY-MM-DD): 2001
Title of Journal: Journal of the ACM
Volume: 48
Issue / Number: 1
Start Page: 70
End Page: 109
Document Type: Article
ID: 519834.0
Program Development Schemata as Derived Rules
Authors: Anderson, Penny; Basin, David A.
Date of Publication (YYYY-MM-DD): 2000
Title of Journal: Journal of Symbolic Computation
Volume: 30
Issue / Number: 1
Start Page: 5
End Page: 36
Document Type: Article
ID: 519767.0
Structuring Metatheory on Inductive Definitions
Authors: Matthews, Seán; Basin, David A.
Date of Publication (YYYY-MM-DD): 2000
Title of Journal: Information and Computation
Volume: 162
Issue / Number: 1/2
Start Page: 80
End Page: 95
Document Type: Article
ID: 519678.0
Formalization of the Development Process
Authors: Basin, David A.; Krieg-Brückner, Bernd
Title of Book: Algebraic foundations of systems specification
Start Page: 521
End Page: 562
Place of Publication: Berlin, Germany
Publisher: Springer
Date of Publication (YYYY-MM-DD): 1999
Document Type: InBook
ID: 519769.0
Modeling a Hardware Synthesis Methodology in Isabelle
Authors: Basin, David A.; Friedrich, Stefan
Date of Publication (YYYY-MM-DD): 1999
Title of Journal: Formal Methods in Systems Design
Volume: 15
Issue / Number: 2
Start Page: 99
End Page: 122
Document Type: Article
ID: 519766.0
A Modular Presentation of Modal Logics in a Logical Framework
Authors: Basin, David A.; Matthews, Seán; Viganò, Luca
Place of Publication: Stanford, USA
Publisher: CSLI
Date of Publication (YYYY-MM-DD): 1998
Title of Proceedings: Proceedings of the 1st Tbilisi Symposium on Language, Logic and Computation: Selected Papers
Start Page: 293
End Page: 307
Title of Series: Studies in Logic, Langugage and Information
Document Type: Conference-Paper
ID: 519552.0
Automata Based Symbolic Reasoning in Hardware Verification
Authors: Basin, David A.; Klarlund, Nils
Date of Publication (YYYY-MM-DD): 1998
Title of Journal: Formal Methods in Systems Design
Volume: 13
Issue / Number: 3
Start Page: 255
End Page: 288
Document Type: Article
ID: 519768.0
Entries: 1-10  
The scope and number of records on eDoc is subject to the collection policies defined by each institute - see "info" button in the collection browse view.