scientific article
From MaRDI portal
Publication:3028319
zbMath0625.68008MaRDI QIDQ3028319
Bharat Jayaraman, David Alan Plaisted
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
SELcorrectnessoperational semanticsequationsdeclarative semanticsconfluent rewriting systemDeterministic reductionNondeterministic reductionSet abstractionSet-Equation Language
Related Items
Conditional rewriting logic: Deduction, models and concurrency, Partial order programming (Revisited), Conditional rewriting logic as a unified model of concurrency