Rezultati

eNauka >  Results >  Cut elimination and decidability for classical lambek logic
Title: Cut elimination and decidability for classical lambek logic
Authors: Ilić, Mirjana  
Issue Date: 2008
Publication: Journal of logic and computation
ISSN: 0955-792X Journal of Logic and Computation Search Idenfier
Publisher: Oxford : Oxford University Press
Type: Article
Collation: vol. 18 br. 1 str. 171-199
DOI: 10.1093/logcom/exm063
WoS-ID: 000252718100009
Scopus-ID: 2-s2.0-38749126223
VBS COBISS: 1025616309
URI: https://plus.cobiss.net/cobiss/sr/sr/bib/1025616309#izum.si
https://enauka.gov.rs/handle/123456789/646376
M-category: 
22M22

2
SCOPUSTM
2
OpenCitations
1
WEB OF SCIENCETM
Alt metrika
Dimensions
Unpaywall

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.