American Mathematical Society

My Account · My Cart · Customer Services · FAQ  
AMS eContent Search Results
Matches for: msc=(03F05) AND publication=(tran)
Sort order: Date
Format: Standard display

  
Results: 1 to 3 of 3 found      Go to page: 1

[1] Nikolaos Galatos and Peter Jipsen. Residuated frames with applications to decidability. Trans. Amer. Math. Soc. 365 (2013) 1219-1249.
Abstract, references, and article information
View Article: PDF

[2] A. Carbone. Cycling in proofs and feasibility. Trans. Amer. Math. Soc. 352 (2000) 2049-2075. MR 1603882.
Abstract, references, and article information
View Article: PDF
This article is available free of charge

[3] Jan Krajíček. Fragments of bounded arithmetic and bounded query classes . Trans. Amer. Math. Soc. 338 (1993) 587-598. MR 1124169.
Abstract, references, and article information
View Article: PDF
This article is available free of charge


Results: 1 to 3 of 3 found      Go to page: 1