Proof search for full intuitionistic propositional logic through a coinductive approach for polarized logic
The approach to proof search dubbed "coinductive proof search", and prev...
Wireless Capsule Endoscope (WCE) is an innovative imaging device that pe...
Luís Pintois this you? claim profile