Imagen de Portada

Introducing Quantification into a Hierarchical Graph Rewriting Language

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Mishina, Haruto, Ueda, Kazunori
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages Symbolic Computation
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi
por: Tei, Kayo, et al.
Publicado: (2025)

Confluence of Conditional Rewriting Modulo
por: Lucas, Salvador
Publicado: (2025)

Strided Difference Bound Matrices
por: Pitchanathan, Arjun, et al.
Publicado: (2024)

Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
por: Zhang, Naifeng, et al.
Publicado: (2025)

A Flow Extension to Coroutine Types for Deadlock Detection in Go
por: Gu, Qiqi Jason, et al.
Publicado: (2026)

Enhancing a Hierarchical Graph Rewriting Language based on MELL Cut Elimination
por: Takyu, Kento, et al.
Publicado: (2024)

YASPS: A Symbolic Framework for Extensible, High-Performance IPC Simulation
por: Tang, Xuan, et al.
Publicado: (2026)

Performant Dynamically Typed E-Graphs in Pure Julia
por: Cheli, Alessandro, et al.
Publicado: (2024)

Algebraic Tools for Computing Polynomial Loop Invariants
por: Bayarmagnai, Erdenebayar, et al.
Publicado: (2024)

Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants
por: Bayarmagnai, Erdenebayar, et al.
Publicado: (2024)

Antiassociative algebra in R: introducing the evitaicossa package
por: Hankinn, Robin K. S.
Publicado: (2024)

From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
por: Bayarmagnai, Erdenebayar, et al.
Publicado: (2025)

SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
por: Beyer, Dirk, et al.
Publicado: (2025)

WebPie: A Tiny Slice of Dependent Typing
por: Scholliers, Christophe
Publicado: (2024)

Proceedings 13th International Workshop on Developments in Computational Models
por: Alves, Sandra, et al.
Publicado: (2024)

Semantic Properties of Computations Defined by Elementary Inference Systems
por: Lucas, Salvador
Publicado: (2025)

Runtime Repeated Recursion Unfolding in CHR: A Just-In-Time Online Program Optimization Strategy That Can Achieve Super-Linear Speedup
por: Fruehwirth, Thom
Publicado: (2023)

Frex: dependently-typed algebraic simplification
por: Allais, Guillaume, et al.
Publicado: (2023)

Verified Language Processing with Hybrid Explainability: A Technical Report
por: Fox, Oliver Robert, et al.
Publicado: (2025)

Structural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic
por: Fushimi, Kosei, et al.
Publicado: (2026)

Beyond Accuracy: Introducing a Symbolic-Mechanistic Approach to Interpretable Evaluation
por: Habibi, Reza, et al.
Publicado: (2026)

Modular Stochastic Rewritable Petri Nets
por: Capra, Lorenzo
Publicado: (2025)

Open Source Prover in the Attic
por: Kovács, Zoltán, et al.
Publicado: (2024)

Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs
por: Tirpankar, Tanmay, et al.
Publicado: (2025)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
por: Kutsia, Temur, et al.
Publicado: (2024)

Executable Archaeology: Reanimating the Logic Theorist from its IPL-V Source
por: Shrager, Jeff
Publicado: (2026)

Efficient Performance Analysis of Modular Rewritable Petri Nets
por: Capra, Lorenzo, et al.
Publicado: (2024)

Quantum Knowledge Graph: Modeling Context-Dependent Triplet Validity
por: Wang, Yao, et al.
Publicado: (2026)

Nominal Equational Rewriting and Narrowing
por: Ayala-Rincón, Mauricio, et al.
Publicado: (2025)

Evaluating Task-Oriented Dialogue Consistency through Constraint Satisfaction
por: Labruna, Tiziano, et al.
Publicado: (2024)

A Neuro-Symbolic Approach to Monitoring Salt Content in Food
por: Tayal, Anuja, et al.
Publicado: (2024)

Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal Logic
por: Candussio, Sara, et al.
Publicado: (2026)

Introducing the vfunc R package
por: Hankin, Robin K. S.
Publicado: (2026)

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions
por: Zheng, Hongbo, et al.
Publicado: (2025)

Large Language Models as Mirrors of Societal Moral Standards
por: Papadopoulou, Evi, et al.
Publicado: (2024)

GOFAI meets Generative AI: Development of Expert Systems by means of Large Language Models
por: Garrido-Merchán, Eduardo C., et al.
Publicado: (2025)

Cognitive LLMs: Towards Integrating Cognitive Architectures and Large Language Models for Manufacturing Decision-making
por: Wu, Siyu, et al.
Publicado: (2024)

ONSEP: A Novel Online Neural-Symbolic Framework for Event Prediction Based on Large Language Model
por: Yu, Xuanqing, et al.
Publicado: (2024)

Visual Set Program Synthesizer
por: Cheng, Zehua, et al.
Publicado: (2026)

Debugging code world models
por: Rahmani, Babak
Publicado: (2026)