Sciweavers

SYNASC
2008
IEEE

On Some Problems of Efficient Inference Search in First-Order Cut-Free Modal Sequent Calculi

14 years 5 months ago
On Some Problems of Efficient Inference Search in First-Order Cut-Free Modal Sequent Calculi
Alexander V. Lyaletski
Added 01 Jun 2010
Updated 01 Jun 2010
Type Conference
Year 2008
Where SYNASC
Authors Alexander V. Lyaletski
Comments (0)