Эта публикация цитируется в 2 статьях

Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs

Stepan L. Kuznetsov

Steklov Mathematical Institute of RAS, Moscow, Russia

Язык публикации: английский

DOI: 10.1007/978-3-030-86059-2_19

Реферативные базы данных:

• 
•