No label defined (Q5020960)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7455704

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7455704

Statements

scholarly article

0 references

Damián Aparicio-Sánchez

0 references

Santiago Escobar

0 references

0 references

publication date

11 January 2022

0 references

full work available at URL

https://arxiv.org/abs/2009.11070

0 references

http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2020.10

0 references

describes a project that uses

0 references

0 references

MaRDI profile type

MaRDI publication profile

0 references

Termination of narrowing revisited

0 references

Modular Termination of Basic Narrowing

0 references

0 references

Abstract Logical Model Checking of Infinite-State Systems Using Narrowing

0 references

On Forward Closure and the Finite Variant Property

0 references

0 references

All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.

0 references

Term Rewriting and Applications

0 references

Programming and symbolic computation in Maude

0 references

Termination Modulo Combinations of Equational Theories

0 references

On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories

0 references

Ground confluence of order-sorted conditional specifications modulo axioms

0 references

Rule-based unification in combined theories and the finite variant property

0 references

Unification and Matching in Hierarchical Combinations of Syntactic Theories

0 references

Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties

0 references

Symbolic Model Checking of Infinite-State Systems Using Narrowing

0 references

0 references

Folding variant narrowing and optimal variant termination

0 references

0 references

Completion of a Set of Rules Modulo a Set of Equations

0 references

Matching, unification and complexity

0 references

Normal forms and normal theories in conditional rewriting

0 references

Conditional rewriting logic as a unified model of concurrency

0 references

0 references

Twenty years of rewriting logic

0 references

Strict coherence of conditional rewriting modulo axioms

0 references

Symbolic reasoning methods in rewriting logic and Maude

0 references

Variant-Based Satisfiability in Initial Algebras

0 references

Generalized rewrite theories, coherence completion, and symbolic methods

0 references

Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging

0 references

Tests and proofs. 4th international conference, TAP 2010, Málaga, Spain, July 1--2, 2010. Proceedings

0 references

Identifiers

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5020960

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5020960&oldid=36756161"