OpenAlex
The μ-calculus as an assertion-language for fairness arguments
Work
Year: 1989
Type: article
Source: Information and Computation
Authors Frank Stomp, Willem P. de Roever, R.T. Gerth
Institutions Radboud University Nijmegen, Eindhoven University of Technology
Cites: 8
Cited by: 22
Related to: 10
FWCI: 1.152
Citation percentile (by year/subfield): 84.99
Topic: Logic, programming, and type systems
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze