Concurrent inference through dual transformation

DOI10.1093/JIGPAL/6.6.795zbMath0921.03015OpenAlexW2032970430MaRDI QIDQ4222184

Guilherme Bittencourt

Publication date: 6 December 1998

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/9a721317b40d9e635ab4cc5c17096827a1881dd0

zbMATH Keywords

normal formsconcurrent algorithmdual transformationautomated theorem-provinginference method for first-order logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

This page was built for publication: Concurrent inference through dual transformation