Your search
Boost open access documents
Linguistics tools
Statistics
29 hits
in 68,072,316 documents
in 0.28 seconds
Home » Search: Monika Seisenberger
Hit List

1. Abstracts for Presentations Edited by

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

2. Sponsoring Institutions Working Group 1.3: Foundations of System Specification The British Computer Society specialist group on Formal Aspects of Computer Science Preface

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

3. Verification of railway interlockings in scade

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

4. an der Fakultät für Mathematik und Informatik der Ludwig–Maximilians–Universität München

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

5. Program extraction via typed realisability for induction and coinduction

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

6. DOI 10.1007/s00224-011-9325-8 Proofs, Programs, Processes

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

7. An Inductive Version of Nash-Williams’ Minimal-Bad-Sequence Argument for Higman’s Lemma

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

8. Proofs, programs, processes

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

9. Applications of inductive definitions and choice principles to program synthesis

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

10. Minlog- A Tool for Program Extraction Supporting Algebras and Coalgebras

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar
Sort Your Results
Refine Search Result
Results:   1 | 2 | 3  Next »  

Currently in BASE: 68,072,316 Documents of 3,307 Content Sources
http://www.base-search.net