scientific article
From MaRDI portal
Publication:3490990
zbMath0708.68061MaRDI QIDQ3490990
Frank van Harmelen, Andrew Stevens, Alan Bundy, Jane Hesketh, Alan Smaill
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
On process equivalence = equation solving in CCS ⋮ Induction using term orders ⋮ Middle-out reasoning for synthesis and induction ⋮ Rippling: A heuristic for guiding inductive proofs ⋮ Induction using term orderings ⋮ Induction and Skolemization in saturation theorem proving ⋮ Experiments with proof plans for induction
Uses Software
This page was built for publication:
