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