The Length of an Unsatisfiable Subformula

A. V. Seliverstov

DOI: 10.1007/s10469-024-09771-0

Journal: Algebra and Logic

ivySCI AI Smartly Parses PDF, Answers Researchers' Questions, and Helps You Understand Papers in Seconds

Download ivySCI

Journal Info

Journals:

ISSN 0002-5232

Quartile

CategoryQuartile
MATHEMATICS4

Quartile(CN)

CategoryQuartile
数学3
数学, 逻辑学4
数学, 数学4
Built withby Ivy Science