Found 19 Documents (Results 1–19)
On two-variable guarded fragment logic with expressive local Presburger constraints. (English) Zbl 07906378
Complexity results for modal logic with recursion via translations and tableaux. (English) Zbl 07906376
Decidability for Sturmian words. (English) Zbl 07906374
A faithful and quantitative notion of distant reduction for the lambda-calculus with generalized applications. (English) Zbl 07906372
Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory. (English) Zbl 07906369
Twin-width and permutations. (English) Zbl 07906366
Fully abstract encodings of \(\lambda\)-calculus in HOcore through abstract machines. (English) Zbl 07906365
Filter Results by …
all
top 5
Author
- Acampora, Renato (1)
- Aceto, Luca (1)
- Achilleos, Antonis (1)
- Akshay, S. (1)
- Anastasiadi, Elli (1)
- Benedikt, Michael A. (1)
- Biernacka, Małgorzata (1)
- Biernacki, Dariusz (1)
- Bollig, Benedikt (1)
- Bonnet, Edouard (1)
- Bouyer, Patricia (1)
- Carton, Olivier (1)
- Casares, Antonio (1)
- Conghaile, Adam Ó (1)
- Dawar, Anuj (1)
- Espírito Santo, José Carlos (1)
- Forsberg Gutkovas, Ramūnas (1)
- Francalanza, Adrian (1)
- Gastin, Paul (1)
- Gay, Simon J. (1)
- Geatti, Luca (1)
- Gigante, Nicola (1)
- Glück, Roland (1)
- Hausmann, Daniel (1)
- Hieronymi, Philipp (1)
- Ingólfsdóttir, Anna (1)
- Kesner, Delia (1)
- Kouzapas, Dimitrios (1)
- Kurz, Alexander (1)
- Lenglet, Sergueï (1)
- Lu, Chia-Hsuan (1)
- Ma, Dun (1)
- Montanari, Angelo (1)
- Neele, Thomas (1)
- Nešetřil, Jaroslav (1)
- Oei, Reed (1)
- Ossona de Mendez, Patrice (1)
- Perifel, Sylvain (1)
- Peyrot, Loïc (1)
- Picotti, Valentino (1)
- Poiger, Wolfgang (1)
- Polesiuk, Piotr (1)
- Pous, Damien (1)
- Pradic, Cécilia (1)
- Randour, Mickael (1)
- Sangnier, Arnaud (1)
- Schaeffer, Luke (1)
- Schmitt, Alan (1)
- Schröder, Lutz (1)
- Schulz, Christian (1)
- Seiller, Thomas (1)
- Shallit, Jeffrey Outlaw (1)
- Siebertz, Sebastian (1)
- Srivathsan, Balaguru (1)
- Stietel, Olivier (1)
- Tan, Tony (1)
- Teheux, Bruno (1)
- Thomassé, Stéphan (1)
- van de Pol, Jan Cornelis (1)
- Vandenhove, Pierre (1)
- Voinea, A. Laura (1)
- Wernhard, Christoph (1)