Art
J-GLOBAL ID:201902205439832762   Reference number:19S0487007

Weak theories of concatenation and minimal essentially undecidable theories: An encounter of WTC and S2S

Author (2):
Material:
Volume: 53  Issue: 7-8  Page: 835-853  Publication year: 2014 
JST Material Number: SCOPUS  ISSN: 0933-5846 
Country of issue: United States (USA)  Language: English (EN)
Terms in the title (1):
Terms in the title
Keywords automatically extracted from the title.

Return to Previous Page