Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) von Paulus, Joseph W. N., Nantes-Sobrinho, Daniele, Pérez, Jorge A.

Volltext

On Nominal Syntax and Permutation Fixed Points von Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho

Volltext

Elementary Deduction Problem for Locally Stable Theories with Normal Forms von Ayala-Rincón, Mauricio, Fernández, Maribel, Nantes-Sobrinho, Daniele

Volltext

Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications: Preface von Fontaine, Pascal, Nantes Sobrinho, Daniele

Volltext

Certified First-Order AC-Unification and Applications: Certified First-Order AC-Unification and Applications von Ayala-Rincón, Mauricio, Fernández, Maribel, Ferreira Silva, Gabriel, Kutsia, Temur, Nantes-Sobrinho, Daniele

Volltext

A formalisation of nominal α-equivalence with A, C, and AC function symbols von Ayala-Rincón, Mauricio, de Carvalho-Segundo, Washington, Fernández, Maribel, Nantes-Sobrinho, Daniele, Rocha-Oliveira, Ana Cristina

Volltext

Intruder deduction problem for locally stable theories with normal forms and inverses von Ayala-Rincón, Mauricio, Fernández, Maribel, Nantes-Sobrinho, Daniele

Volltext

Formalising nominal C-unification generalised with protected variables von Ayala-Rincón, Mauricio, de Carvalho-Segundo, Washington, Fernández, Maribel, Silva, Gabriel Ferreira, Nantes-Sobrinho, Daniele

Volltext

Nominal C-Unification von Ayala-Rincón, Mauricio, de Carvalho-Segundo, Washington, Fernández, Maribel, Nantes-Sobrinho, Daniele

Volltext

Nominal AC-Matching von Ayala-Rincón, Mauricio, Fernández, Maribel, Silva, Gabriel Ferreira, Kutsia, Temur, Nantes-Sobrinho, Daniele

Volltext

Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications von Nantes-Sobrinho, Daniele, Fontaine, Pascal

Volltext

Typed Non-determinism in Functional and Concurrent Calculi von van den Heuvel, Bas, Paulus, Joseph W. N., Nantes-Sobrinho, Daniele, Pérez, Jorge A.

Volltext

Strong Nominal Semantics for Fixed-Point Constraints von Caires-Santos, Ali K, Fernández, Maribel, Nantes-Sobrinho, Daniele

Volltext bestellen

A Certified Functional Nominal C-Unification Algorithm von Ayala-Rincón, Mauricio, Fernández, Maribel, Silva, Gabriel Ferreira, Nantes-Sobrinho, Daniele

Volltext

Termination in Concurrency, Revisited von Paulus, Joseph W. N, Pérez, Jorge A, Nantes-Sobrinho, Daniele

Volltext bestellen

Typed Non-determinism in Concurrent Calculi: The Eager Way von Heuvel, Bas van den, Nantes-Sobrinho, Daniele, Paulus, Joseph W. N, Pérez, Jorge A

Volltext bestellen

On Solving Nominal Fixpoint Equations von Ayala-Rincón, Mauricio, de Carvalho-Segundo, Washington, Fernández, Maribel, Nantes-Sobrinho, Daniele

Volltext

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version) von Lööw, Andreas, Nantes-Sobrinho, Daniele, Sacha-Élie Ayoun, Cronjäger, Caroline, Maksimović, Petar, Gardner, Philippa

Volltext

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) von Paulus, Joseph W N, Nantes-Sobrinho, Daniele, Pérez, Jorge A

Volltext

Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes (Extended Version) von Paulus, Joseph W. N, Nantes-Sobrinho, Daniele, Pérez, Jorge A

Volltext bestellen