Linear problems and linear algorithms

DOI10.1006/jsco.1995.1047zbMath0844.68050OpenAlexW2084032523MaRDI QIDQ1911399

B. Curtis Eaves, Uriel G. Rothblum

Publication date: 6 June 1996

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jsco.1995.1047

zbMATH Keywords

predicate logiclinear problem

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: Linear problems and linear algorithms