|
|
(12 intermediate revisions by 5 users not shown) |
Property / author | |
| | |
Property / author: Manuel Clavel / rank | |
| Normal rank
| |
Property / author | |
| | |
Property / author: Patrick D. Lincoln / rank | |
| Normal rank
| |
Property / author | |
| | |
Property / author: Carolyn L. Talcott / rank | |
| Normal rank
| |
| Property / author |
| | |
| Property / author: Manuel Clavel / rank |
| | Normal rank |
| Property / author |
| | |
| Property / author: Patrick D. Lincoln / rank |
| | Normal rank |
| Property / author |
| | |
| Property / author: Carolyn L. Talcott / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: SMT-LIB / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: Maude-NPA / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: MTT / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: Maude / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: OBJ3 / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: CVC4 / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: LoLA / rank |
| | Normal rank |
| Property / MaRDI profile type |
| | |
| Property / MaRDI profile type: MaRDI publication profile / rank |
| | Normal rank |
| Property / full work available at URL |
| | |
| Property / full work available at URL: https://doi.org/10.1007/978-3-319-23165-5_11 / rank |
| | Normal rank |
| Property / OpenAlex ID |
| | |
| Property / OpenAlex ID: W2294286260 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A needed narrowing strategy / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Abstract Logical Model Checking of Infinite-State Systems Using Narrowing / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q5503674 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: An algebraic semantics for MOF / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Specification and proof in membership equational logic / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4934731 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: May I borrow your logic? (Transporting logical structures along maps) / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4223000 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4222979 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2703706 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4222994 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Maude: specification and programming in rewriting logic / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4447224 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4222853 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4222856 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Term Rewriting and Applications / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2767190 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2767191 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: MTT: The Maude Termination Tool (System Description) / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4222990 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Maude's module algebra / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Functional Logic Programming in Maude / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Symbolic Model Checking of Infinite-State Systems Using Narrowing / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Folding variant narrowing and optimal variant termination / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18--20, 2000 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3716279 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Equality, types, modules, and (why not?) generics for logic programming / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q5111913 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Context-sensitive rewriting strategies / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4246796 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4222859 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Rewriting logic bibliography by topic: 1990--2011 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Conditional rewriting logic as a unified model of concurrency / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3--6, 1996 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Rewriting logic as a semantic framework for concurrency: a progress report / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3839051 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: From OBJ to Maude and Beyond / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: The Temporal Logic of Rewriting: A Gentle Introduction / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Twenty years of rewriting logic / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3046721 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Semantics and pragmatics of real-time maude / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Rewriting Modulo SMT and Open System Analysis / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2766586 / rank |
| | Normal rank |
links / mardi / name | links / mardi / name |
| | |