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
Open Access
    Datensatz exportieren als...
  • BibTeX
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
Logical methods in computer science, 2023-01, Vol.19, Issue 4
2023
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
On Nominal Syntax and Permutation Fixed Points
Logical methods in computer science, 2020-01, Vol.16, Issue 1
2020
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Elementary Deduction Problem for Locally Stable Theories with Normal Forms
Electronic proceedings in theoretical computer science, 2013-03, Vol.113 (Proc. LSFA 2012), p.45-60
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications: Preface
Electronic proceedings in theoretical computer science, 2023-03, Vol.376
2023
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A formalisation of nominal α-equivalence with A, C, and AC function symbols
Theoretical computer science, 2019-08, Vol.781, p.3-23
2019
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Intruder deduction problem for locally stable theories with normal forms and inverses
Theoretical computer science, 2017-04, Vol.672, p.64-100
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Nominal C-Unification
Logic-Based Program Synthesis and Transformation, p.235-251
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formalising nominal C-unification generalised with protected variables
Mathematical structures in computer science, 2021-03, Vol.31 (3), p.286-311
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Nominal AC-Matching
Intelligent Computer Mathematics, p.53-68
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Typed Non-determinism in Functional and Concurrent Calculi
Programming Languages and Systems, p.112-132
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Certified Functional Nominal C-Unification Algorithm
Logic-Based Program Synthesis and Transformation, p.123-138
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
On Solving Nominal Fixpoint Equations
Frontiers of Combining Systems, p.209-226
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Termination in Concurrency, Revisited
Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming, 2023, p.1-14
2023
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
On Solving Nominal Disunification Constraints
Electronic notes in theoretical computer science, 2020-03, Vol.348, p.3-22
2020
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A Formalisation of Nominal C-Matching through Unification with Protected Variables
Electronic notes in theoretical computer science, 2019-08, Vol.344, p.47-65
2019
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A Formalisation of Nominal α-equivalence with A and AC Function Symbols
Electronic notes in theoretical computer science, 2017-06, Vol.332, p.21-38
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Brasilia Spring on Automated Reasoning
SIGLOG news, 2018-01, Vol.5 (1), p.21-22
2018
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures
Logic, Language, Information and Computation, p.218-231
Volltextzugriff (PDF)
1 – 18 von 18
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen