Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Willem Jan Fokkink

CCS With Hennessy's Merge Has No Finite Equational Axiomatization

BRICS Report Series
2003English

On the Axiomatizability of Priority

BRICS Report Series
2006English

Related publications

Split-2 Bisimilarity Has a Finite Axiomatization Over CCS With Hennessy's Merge

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Equational Axiomatization of Algebras With Structure

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

A Complete Equational Axiomatization for MPA With String Iteration

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1999English

A Complete Equational Axiomatization for Prefix Iteration With Silent Steps

BRICS Report Series
1995English

On the Equational Graphs Over Finite Fields

Finite Fields and Their Applications
Theoretical Computer ScienceApplied MathematicsNumber TheoryEngineeringAlgebra
2020English

On the Equational Theory of Projection Lattices of Finite Von Neumann Factors

Journal of Symbolic Logic
PhilosophyLogic
2010English

Differential Equation Axiomatization

2018English

A Group Preference Axiomatization With Cardinal Utility

Management Science
Management ScienceManagementOperations ResearchStrategy
1976English

Differential Equation Invariance Axiomatization

Journal of the ACM
ControlSystems EngineeringInformation SystemsHardwareArchitectureArtificial IntelligenceSoftware
2020English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy