Walid Belkhir

From MaRDI portal
Person:485832

Available identifiers

zbMath Open belkhir.walidMaRDI QIDQ485832

List of research outcomes





PublicationDate of PublicationType
Unification and combination of a class of traversal strategies made with pattern matching and fixed-points2022-03-09Paper
https://portal.mardi4nfdi.de/entity/Q46362842018-04-23Paper
Parametrized automata simulation and application to service composition2015-01-14Paper
A symbolic transformation language and its application to a multiscale method2014-04-28Paper
The variable hierarchy for the games \(\mu \)-calculus2011-08-26Paper
The Variable Hierarchy for the Lattice μ-Calculus2009-01-27Paper
Undirected Graphs of Entanglement 22008-04-24Paper

Research outcomes over time

This page was built for person: Walid Belkhir

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:485832&oldid=7540837"
Powered by MediaWiki