Search results: Sage Journals

Restricted accessResearch articleFirst published 2020

A Constructor-Based Reachability Logic for Rewrite Theories

Stephen Skeirik, Andrei Stefanescu, José Meseguer

Fundamenta Informaticae

Restricted accessResearch articleFirst published February, 2008

Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen

Fundamenta Informaticae

Restricted accessResearch articleFirst published 2017

Abdullah Alhumaidan, Jason Steggles

Fundamenta Informaticae

Restricted accessResearch articleFirst published November, 2018

Ammar Boucherit, Abdallah Khababa, Laura M. Castro

Multiagent and Grid Systems

Restricted accessResearch articleFirst published September 20, 2024

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

Fundamenta Informaticae

Restricted accessResearch articleFirst published July, 1996

Andy Schürr

Fundamenta Informaticae

Restricted accessResearch articleFirst published February, 2020

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

Multiagent and Grid Systems

Restricted accessResearch articleFirst published November, 2005

Mark-Oliver Stehr

Fundamenta Informaticae

Restricted accessResearch articleFirst published October, 2005

Mark-Oliver Stehr

Fundamenta Informaticae

Restricted accessResearch articleFirst published November, 2017

Mohamed Amin Laouadi, Farid Mokhati, Hassina Seridi-Bouchelaghem

Multiagent and Grid Systems