The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Anton Setzer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Anton Setzer
    Partial Recursive Functions in Martin-Löf Type Theory. [Citation Graph (0, 0)][DBLP]
    CiE, 2006, pp:505-515 [Conf]
  2. Peter Hancock, Anton Setzer
    Interactive Programs in Dependent Type Theory. [Citation Graph (0, 0)][DBLP]
    CSL, 2000, pp:317-331 [Conf]
  3. Will Harwood, Faron Moller, Anton Setzer
    Weak Bisimulation Approximants. [Citation Graph (0, 0)][DBLP]
    CSL, 2006, pp:365-379 [Conf]
  4. Anton Setzer
    Inductive Definitions with Decidable Atomic Formulas. [Citation Graph (0, 0)][DBLP]
    CSL, 1996, pp:414-430 [Conf]
  5. Peter Dybjer, Anton Setzer
    Indexed Induction-Recursion. [Citation Graph (0, 0)][DBLP]
    Proof Theory in Computer Science, 2001, pp:93-113 [Conf]
  6. Anton Setzer
    Translating Set Theoretical Proofs into Type Theoretical Programs. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1997, pp:278-289 [Conf]
  7. Peter Dybjer, Anton Setzer
    A Finite Axiomatization of Inductive-Recursive Definitions. [Citation Graph (0, 0)][DBLP]
    TLCA, 1999, pp:129-146 [Conf]
  8. Anton Setzer
    Java as a Functional Programming Language. [Citation Graph (0, 0)][DBLP]
    TYPES, 2002, pp:279-298 [Conf]
  9. Peter Dybjer, Anton Setzer
    Induction-recursion and initial algebras. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2003, v:124, n:1-3, pp:1-47 [Journal]
  10. Anton Setzer
    Well-Ordering, Proofs for Martin-Löf Type Theory. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1998, v:92, n:2, pp:113-159 [Journal]
  11. Markus Michelbrink, Anton Setzer
    State Dependent IO-Monads in Type Theory. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:122, n:, pp:127-146 [Journal]
  12. Peter Dybjer, Anton Setzer
    Indexed induction-recursion. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2006, v:66, n:1, pp:1-49 [Journal]
  13. Gerhard Jäger, Reinhard Kahle, Anton Setzer, Thomas Strahm
    The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:1, pp:53-67 [Journal]
  14. Rose H. Abdul Rauf, Ulrich Berger, Anton Setzer
    Functional concepts in C++. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2006, pp:163-179 [Conf]
  15. Anton Setzer
    Object-oriented programming in dependent type theory. [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2006, pp:91-108 [Conf]

  16. Inductive-Inductive Definitions. [Citation Graph (, )][DBLP]


  17. Extending Martin-Löf Type Theory by one Mahlo-universe. [Citation Graph (, )][DBLP]


  18. Automated Verification of Signalling Principles in Railway Interlocking Systems. [Citation Graph (, )][DBLP]


Search in 0.047secs, Finished in 0.048secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002