:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Schuster, Philipp, Müller, Marius, Ostermann, Klaus, Brachthäuser, Jonathan Immanuel
Format:	Recurso digital
Language:
Published:	Zenodo 2025
Subjects:	compilers intermediate representations sequent calculus
Online Access:	https://doi.org/10.5281/zenodo.14917573
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Automated Reasoning with Analytic Tableaux and Related Methods
Published: (2023)

Expanding the Universe of Universal Logic
by: James Trafford
Published: (2014)

(Hyper)sequent Calculi for the ALC(S4) Description Logics
by: Juan Pablo Muñoz
Published: (2016)

Deterministic AST Compilation
by: Andrews, Ronald Jason
Published: (2026)

More efficient proof-search for sequents of temporal logic
by: Romas Alonderis
Published: (2022)

The Compiler as a Decomposed Optimization System
by: Bilar, Daniyel Yaacov
Published: (2026)

Connessioni remote
Published: (2020)

The Compilation and Execution of a Measurement of Chinese Undergraduates’ Moral Values Approval
by: Zhu Hai-Long
Published: (2015)

Journal of Fractional Calculus and Applications
Published: (2024)

LUME: Eliminating Cognitive Distance — A Deterministic Natural-Language Programming Language with Intent-Resolving Compilation, Voice Input, Certified Security, and Synthetic Organism Runtime
by: Andrews, Ronald Jason
Published: (2026)

LUME: Eliminating Cognitive Distance — A Deterministic Natural-Language Programming Language with Intent-Resolving Compilation, Voice Input, Certified Security, and Synthetic Organism Runtime
by: Andrews, Ronald Jason
Published: (2026)

Software Solution for Social Media Data Compilation and Analysis
by: Elmar Krajnc
Published: (2014)

Analysis of Equivalent Circuits for Cells: A Fractional Calculus Approach
by: F. Gómez-Aguilar
Published: (2012)

Generative Calculus: A Differential Framework for Possibility, Pattern, and Emergence
by: Doy, David Michael
Published: (2026)

Generative Calculus: A Differential Framework for Possibility, Pattern, and Emergence
by: Doy, David Michael
Published: (2026)

User Generated Content (EOL v2): User Added Text, curated
by: Encyclopedia of Life
Published: (2024)

User Generated Content (EOL v2): user exemplar images
by: Encyclopedia of Life
Published: (2024)

User Generated Content (EOL v2): taxonomic propagation - exemplar images
by: Encyclopedia of Life
Published: (2024)

Modeling the tumor growth with the theory of discrete fractional calculus
by: Leticia Adriana Ramírez Hernández
Published: (2013)

Element 120 ("sigma-Bisylium")
by: Sievers, Oliver
Published: (2025)

Neural Network Operators for the New Era of Fractional Calculus: Bridging Analysis and Artificial Intelligence Systems
by: Santos, Rômulo Damasclin Chaves dos, et al.
Published: (2025)

A new conformable fractional derivative and applications
by: Vuk Stojiljkovic
Published: (2022)

Figuras intermediales en Teorema
by: Wolfgang Bongers
Published: (2015)

Automated Reasoning with Analytic Tableaux and Related Methods
Published: (2025)

El Cálculo y su Enseñanza
Published: (2025)

First report of Aelurostrongylus abstrusus in domestic land snail Rumina decollata, in the Autonomous city of Buenos Aires
by: N. Cardillo
Published: (2014)

Chapter Sequent calculus and complexity theory
by: Duccio, Pianigiani
Published: (2026)

Open book vector calculus assessment: suggested design principles
by: Craig, Tracy
Published: (2021)

The Paton Operator Calculus: Composition, Sequencing, and Admissible Execution Paths
by: Paton, Andrew John
Published: (2026)

Overall heritability in popcorn estimated by meta-analysis
by: Luiz Rafael Clóvis
Published: (2021)

Design and implementation of a data-oriented programming language solving complexities and runtime faults found in other languages
by: Nordgren, Henrik
Published: (2024)

Equidad de género en la clase de cálculo. Un análisis desde las personas participantes
by: Espinosa-Pat, Abraham, et al.
Published: (2025)

SHAKESPEARE CHECKS INTO THE DIGITAL WORLD: REWRITING HIS PLAYS USING EMOJIS
by: Marcia Amaral Peixoto Martins
Published: (2020)

Managers’ individual values and performance
by: Antonio Caubi Ribeiro Tupinambá
Published: (2018)

La inscripción intermedial en el texto postdramático
by: Luis Thenon
Published: (2017)

Immediate and intermediate term results of cheatham platinum stenting for native coarctation of aorta in adults
by: Amjad R. Bairam
Published: (2021)

Evaluación de la rentabilidad del manejo en bosques secundarios de canelo (Drimys winteri) en la Cordillera de la Costa de Valdivia, Chile
by: Celso Navarro Cárcamo
Published: (2010)

A Calculus of Intelligence: Frontier, Adjudication, and Self-Modeling in Reflexive Systems Paper 59 of the NEMS Suite
by: Spivack, Nova
Published: (2026)

A Completeness of Metrics for Topological Relations in 3D Qualitative Spatial Reasoning
by: Chaman L. Sabharwal
Published: (2015)

How to empower Grünwald–Letnikov fractional difference equations with available initial condition?*
by: Wei Yiheng
Published: (2022)