Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings
1, 2001
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001, Held As Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : Proceedings
2001
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Foundations of software science and computation structures: 4th international conference, FOSSACS 2001, held as part of the Joint European Conferences on Theory and Practice of Software ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Lambda Calculus with Types
1, 2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Types for proofs and programs: international conference, TYPES 2007, Cividale del Friuli Italy, May 2-5, 2007
2008
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Types for Proofs and Programs: International Conference, TYPES 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
1, 2008
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Constructive Data Refinement in Typed Lambda Calculus
Foundation of Software Science and Computation Structures, 2000, Vol.1784, p.161-176
2000
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Wherefore Art Thou \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\ldots $$\end{document} Semantics of Computation?
History and Philosophy of Computing, p.3-23
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Intersection Types λS
Lambda Calculus with Types, 2013, p.577-578
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Filter Models and Easy Terms
Lecture notes in computer science, 2001, Vol.2202, p.17-37
2001
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Models of Self-Descriptive Set Theories
Partial Differential Equations and the Calculus of Variations, p.473-518
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Intuitionistic vs. Classical Tautologies, Quantitative Comparison
Types for Proofs and Programs, 2008, Vol.4941
2008
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Declarative Language for the Coq Proof Assistant
Types for Proofs and Programs, 2008, Vol.4941
2008
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
On Normalization by Evaluation for Object Calculi
Types for Proofs and Programs, 2008, Vol.4941
2008
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Algorithmic Equality in Heyting Arithmetic Modulo
Types for Proofs and Programs, 2008, Vol.4941
2008
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Finiteness in a Minimalist Foundation
Types for Proofs and Programs, 2008, Vol.4941
2008
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types
Types for Proofs and Programs, 2008, Vol.4941
2008
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Characterising Strongly Normalising Intuitionistic Sequent Terms
Types for Proofs and Programs, 2008, Vol.4941
2008
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
In the Search of a Naive Type Theory
Types for Proofs and Programs, 2008, Vol.4941
2008
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Dependently Sorted Logic
Types for Proofs and Programs, 2008, Vol.4941
2008
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Attributive Types for Proof Erasure
Types for Proofs and Programs, 2008, Vol.4941
2008
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Verification of the Redecoration Algorithm for Triangular Matrices
Types for Proofs and Programs, 2008, Vol.4941
2008
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Logic for Parametric Polymorphism with Effects
Types for Proofs and Programs, 2008, Vol.4941
2008
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Working with Mathematical Structures in Type Theory
Types for Proofs and Programs, 2008, Vol.4941
2008
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory
Foundations of Software Science and Computation Structures, 2001, Vol.2030
2001
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 63
Suche als RSS-Feed
Aktive Filter
KollektioneBooks on EBSCOhost
Suchergebnisse filtern
Filter anzeigen