Imagen de Portada

Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Amato, Gianluca, DeMarco, Mary, Lipton, James
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages Logic in Computer Science Logic 68N17 D.6.1
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Optimal matching for sharing and linearity analysis
por: Amato, Gianluca, et al.
Publicado: (2024)

On systematic construction of correct logic programs
por: Drabent, Włodzimierz
Publicado: (2025)

Implementing backjumping by means of exception handling
por: Drabent, Włodzimierz
Publicado: (2023)

Type Inference for Isabelle2Cpp
por: Jiang, Dongchen, et al.
Publicado: (2024)

The equational theory of the Weihrauch lattice with multiplication
por: Neumann, Eike, et al.
Publicado: (2024)

Finitely Bounded Homogeneity Turned Inside-Out
por: Rydval, Jakub
Publicado: (2021)

Multiple Query Satisfiability of Constrained Horn Clauses
por: De Angelis, Emanuele, et al.
Publicado: (2022)

Uniform Computability of PAC Learning
por: Brattka, Vasco, et al.
Publicado: (2026)

A Complete Fragment of LTL(EB)
por: Ferrarotti, Flavio, et al.
Publicado: (2024)

A Physical Analogy between Molecular Ordering and SAT-to-Ising Annealing
por: Dubey, ShivKishan, et al.
Publicado: (2025)

Multiset semantics in SPARQL, Relational Algebra and Datalog
por: Angles, Renzo, et al.
Publicado: (2026)

The Semantics of Metapropramming in Prolog
por: Warren, David S.
Publicado: (2024)

NOETHER: A Constructive Framework for Metamorphic Pattern Discovery from Operator Algebras
por: Li, Meng, et al.
Publicado: (2026)

A note on occur-check (extended report)
por: Drabent, Włodzimierz
Publicado: (2022)

Equivalence of Applicative Functors and Multifunctors
por: Abel, Andreas
Publicado: (2024)

Universal Algebra in UniMath
por: Amato, Gianluca, et al.
Publicado: (2021)

Algebra of Self-Replication
por: Moss, Lawrence S.
Publicado: (2023)

There is a deep 1-generic set
por: Li, Ang
Publicado: (2024)

A formal proof of the Ramanujan--Nagell theorem in Lean 4
por: Banwait, Barinder S.
Publicado: (2026)

Forcing and classes of $\mathsf{HYP}$-dominating functions
por: Greenberg, Noam, et al.
Publicado: (2026)

Foundational Analysis Of The Solvability Complexity Index: The Weihrauch-SCI Intermediate Hierarchy
por: Sorg, Christopher
Publicado: (2026)

Behavioural Theory of Reflective Algorithms II: Reflective Parallel Algorithms
por: Schewe, Klaus-Dieter, et al.
Publicado: (2025)

Languages given by Finite Automata over the Unary Alphabet
por: Czerwiński, Wojciech, et al.
Publicado: (2023)

Intersection Types via Finite-Set Declarations
por: Kamareddine, Fairouz, et al.
Publicado: (2024)

A weak version of the Strong Exponential Closure
por: D'Aquino, Paola, et al.
Publicado: (2019)

SMB algebras II: On the Constraint Satisfaction Problem over Semilattices of Mal'cev Blocks
por: Marković, Petar, et al.
Publicado: (2026)

Uniform interpolation with constructive diamond
por: van der Giessen, Iris, et al.
Publicado: (2026)

Complexity of Consistency Testing for the Release-Acquire Semantics
por: Govind, R., et al.
Publicado: (2026)

A Constructive Proof of Rice's Theorem and the Halting Problem via Hilbert's Tenth Problem
por: Brossard, Jonathan
Publicado: (2026)

Completeness of Relational Algebra via Cylindric Algebra
por: Laštovička, Jan
Publicado: (2026)

The CSP Dichotomy, the Axiom of Choice, and Cyclic Polymorphisms
por: Kátay, Tamás, et al.
Publicado: (2023)

Finitely (In)tractable Promise Constraint Satisfaction Problems
por: Asimi, Kristina, et al.
Publicado: (2020)

Hyperfiniteness on Topological Ramsey Spaces
por: Bursics, Balázs, et al.
Publicado: (2024)

Hashing Modulo Context-Sensitive $α$-Equivalence
por: Blaauwbroek, Lasse, et al.
Publicado: (2024)

Refutability as Recursive as Provability
por: Cattabriga, Paola
Publicado: (2024)

The equational theory of the Weihrauch lattice with (iterated) composition
por: Pradic, Cécilia
Publicado: (2024)

Information vs Dimension -- an Algorithmic Perspective
por: Reimann, Jan
Publicado: (2024)

(Co)condition hits the Path
por: Zhang, Tesla, et al.
Publicado: (2024)

A novel framework for systematic propositional formula simplification based on existential graphs
por: de Mas, Jordina Francès, et al.
Publicado: (2024)

Computability of Initial Value Problems
por: Brattka, Vasco, et al.
Publicado: (2024)