Резултати

eNauka >  Results >  A general technique for analyzing termination in symmetric proof calculi
Title: A general technique for analyzing termination in symmetric proof calculi
Authors: Dougherty, Daniel; Ghilezan, Silvia  ; Lescanne, Pierre
Issue Date: 2007
Type: Conference Paper
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/4258
https://enauka.gov.rs/handle/123456789/576832
URL: http://web.cs.wpi.edu/~dd/publications/CDR-festschrift.pdf
M-category: 
Mp. category will be shown later

Пронађи DOI

Google ScholarTM

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.