Please note that eDoc will be permanently shut down in the first quarter of 2021!      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.