Imagen de Portada

Artifact for "Extending the Iris Proof Mode with Inductive Predicates using Elpi"

Fuente: Zenodo

Guardado en:

Detalles Bibliográficos
Autor principal:	van der Maas, Luko
Formato:	Recurso digital
Publicado:	Zenodo 2024
Materias:	Coq Iris Elpi
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

FLT-Coq v0.3.0 — GlobalNormalization module and maximum-coverage API
por: Dedenko, Grigoriy
Publicado: (2025)

FLT-Coq: Two Conditional Routes (Coverage Parameter and GN(2))
por: Dedenko, Grigoriy
Publicado: (2025)

[SUPERSEDED — see 10.5281/zenodo.19227867] Trinity B002: Zero-DSP FPGA Architecture for Ternary Inference v4.0
por: Vasilev, Dmitrii
Publicado: (2026)

[SUPERSEDED — see 10.5281/zenodo.19227873] Trinity B005: Tri Language — Linear Types, Effects, Dual-Target Compilation v4.0
por: Vasilev, Dmitrii
Publicado: (2026)

The Eight–Summit Framework: A Finite–Depth Structural Interpretation of the Riemann Landscape via the Matsuura Hierarchy (MSHD–HSTG)
por: Matsuura, Yoshihito
Publicado: (2025)

A Novel Framework for Iris and Thumbprint Recognition using Optimization Algorithms
por: Mayurima Das, et al.
Publicado: (2018)

Iris – Goddess of Rainbow
por: Scan-the-World
Publicado: (2026)

Efficient Iris Recognition Management in Object-Related Databases
por: Carlos Alvez
Publicado: (2018)

Platão e Iris Murdoch: o Bem, o Amor e a retomada da ética das virtudes antiga na filosofia moral britânica
por: Flavio Williges
Publicado: (2019)

Trayectorias raciales en los discursos histórico-literarios de Jotabeche, V. F. López e Iris (Chile en dos extremos temporales a lo largo del siglo racialista)
por: Montserrat Nicole Arre Marfull
Publicado: (2023)

Figure 1 from: Zhang Z, Zhang G (2026) Descriptions of a new species, validation of a name, and elevation of a variety in Iris (Iridaceae) from China. PhytoKeys 271: 299-312. https://doi.org/10.3897/phytokeys.271.176663
por: Zhang, Zhongzheng, et al.
Publicado: (2026)

Enhanced Ethnicity Prediction from Iris Images Using PCA-SVM Optimized with Genetic Algorithm
por: Abiodun Dare Kehinde, Ayodeji Ireti Fasiku, Isaac Olamilekan Dibofun and Oluwatomi Florence Bello
Publicado: (2026)

A Finite–Depth Structural Resolution of the Collatz Conjecture via Hierarchical Height Functions and Mother Chains (JNT Submission Version)
por: Matsuua, Yoshihito
Publicado: (2025)

Más allá del arco iris
por: Economist Intelligence Unit
Publicado: (1955)

Occurrence of Antimicrobial Resistance in Fish-Pathogenic and Environmental Bacteria Associated with Four Danish Rainbow Trout Farms. / Anja S. Schmidt
por: Schmidt, Anja S
Publicado: (2000)

Evolutionary insights into Felidae iris color through ancestral state reconstruction
por: Tabin, Julius
Publicado: (2024)

LA ÉTICA DEL AMOR DE IRIS MURDOCH
por: Daniela Alegría
Publicado: (2019)

Heaven Eye Equation — Mathematical Proof of Vision
por: Madrid, David Chamberlin, et al.
Publicado: (2025)

Supplementary material, MATLAB code, and simulation data for modeling the biomechanics of the human iris using an active strain approach
por: Lucon Rivas, Kevin Raul, et al.
Publicado: (2025)

El papel del tiempo en las teorías políticas de la justicia: algunes apuntes sobre Hannah Arendt, John Rawls, Michael Walzer e Iris Marion Young
por: Moreno, Carmelo
Publicado: (2024)

Humedal de flujo vertical para tratamiento terciario del efluente físico-químico de una estación depuradora de aguas residuales domésticas
por: María Reyes Rodríguez-González
Publicado: (2013)

O CONCEITO DE RESPONSABILIDADE EM IRIS YOUNG
por: Céli Regina Jardim Pinto
Publicado: (2014)

Picadura de insecto en la córnea, a propósito de un caso
por: Gioconda Lourdes Armas Herrera
Publicado: (2023)

Estudio de las Técnicas de fusión de Imágenes para el iris
por: Daile Osorio Roig
Publicado: (2016)

Do problema do essencialismo a outra maneira de se fazer política: retomando o potencial transformador das políticas de diferença
por: Léa Tosold
Publicado: (2010)

Extracción de características del iris como mecanismo de identificación biométrica
por: José Fernando Valencia Murillo
Publicado: (2014)

The δ-Gene: Inference-Time Physical Unclonable Functions from Architecture-Invariant Output Geometry
por: Coslett, Anthony
Publicado: (2026)

Inductive Synthesis of Inductive Heap Predicates -- Extended Version
por: Yang, Ziyi, et al.
Publicado: (2025)

Learning Verified Monitors for Hidden Markov Models
por: van der Maas, Luko, et al.
Publicado: (2025)

Interdisziplinaere Forschung in der Deutschdidaktik
Publicado: (2019)

Inductive Predicate Synthesis Modulo Programs (Extended)
por: Wesley, Scott, et al.
Publicado: (2024)

Truth Predicate of Inductive Definitions and Logical Complexity of Infinite-Descent Proofs
por: Ito, Sohei, et al.
Publicado: (2026)

Learning Robust Markov Models for Safe Runtime Monitoring
por: Skurka, Antonina, et al.
Publicado: (2026)

Pollen profile of sediment core SIPOTEL1, Sipotel, Romania
por: Farcas, Sorina, et al.
Publicado: (2018)

Pollen profile KARU, Lake Karujarv, Estonia
por: Saarse, Leili
Publicado: (2010)

Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
por: Češka, Milan, et al.
Publicado: (2026)

Intraspecific eye color variability in birds and mammals: a recent evolutionary event exclusive to humans and domestic animals
por: juan Negro, et al.
Publicado: (2017)

Asian Sound Cultures
Publicado: (2022)

Chapter 10 Early radio in late colonial India
por: Duggal, Vebhuti, et al.
Publicado: (2022)

Chapter Introducing Asian Sound Cultures
por: Haukamp, Iris, et al.
Publicado: (2022)