Universal Algebra for Computer Scientists , volume 25 of EATCS Monographs on Theoretical Computer Science

Wolfgang Wechler · 1992 · DOI 10.1007/978-3-642-76771-5

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

open at publisher browse 1 citing papers

representative citing papers

cs.LO · 2026-07-01 · unverdicted · novelty 3.0

Experiments compare model finding strategies for semantic labelling in termination proofs using Matchbox and MnM.

Showing 1 of 1 citing paper.

Semantic Labelling in Practice cs.LO · 2026-07-01 · unverdicted · none · ref 23
Experiments compare model finding strategies for semantic labelling in termination proofs using Matchbox and MnM.