You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (41)

Journals (0)

1-10 of 41 results for Rewriting Logic

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: A Constructor-Based Reachability Logic for Rewrite Theories

Retricted access

Research article

First published 2020

A Constructor-Based Reachability Logic for Rewrite Theories

Stephen Skeirik, Andrei Stefanescu, José Meseguer

Fundamenta Informaticae

Select article: Validating Behavioral Component Interfaces in Rewriting Logic

Retricted access

Research article

First published 2008-2

Validating Behavioral Component Interfaces in Rewriting Logic

Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen

Fundamenta Informaticae

Select article: Modelling and Analysing Qualitative Biological Models using Rewriting Logic

Retricted access

Research article

First published 2017

Modelling and Analysing Qualitative Biological Models using Rewriting Logic

Abdullah Alhumaidan, Jason Steggles

Fundamenta Informaticae

Select article: Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets

Retricted access

Research article

First published 2018-11

Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets

Ammar Boucherit, Abdallah Khababa, Laura M. Castro

Multiagent and Grid Systems

Select article: LOGIC BASED PROGRAMMED STRUCTURE REWRITING SYSTEMS

Retricted access

Research article

First published 1996-7

LOGIC BASED PROGRAMMED STRUCTURE REWRITING SYSTEMS

Andy Schürr

Fundamenta Informaticae

Select article: A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets

Retricted access

Research article

First published 2024-09-20

A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets

Jaime Arias, Kyungmin Bae, Carlos Olarte [...]

Fundamenta Informaticae

Select article: Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems

Retricted access

Research article

First published 2020-2

Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems

Ammar Boucherit, Laura M. Castro, Abdallah Khababa [...]

Multiagent and Grid Systems

Select article: The Open Calculus of Constructions (Part II): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving

Retricted access

Research article

First published 2005-11

The Open Calculus of Constructions (Part II): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving

Mark-Oliver Stehr

Fundamenta Informaticae

Select article: The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving

Retricted access

Research article

First published 2005-10

The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving

Mark-Oliver Stehr

Fundamenta Informaticae

Select article: A formal framework for organization- centered multi-agent system specification: A rewriting logic based approach

Retricted access

Research article

First published 2017-11

A formal framework for organization- centered multi-agent system specification: A rewriting logic based approach

Mohamed Amin Laouadi, Farid Mokhati, Hassina Seridi-Bouchelaghem

Multiagent and Grid Systems

1
2
3
4
5
10 / page

Article type

Publication date

Subjects

Access