15 found
Order:
  1.  17
    Wang Hao. Tag Systems and Lag Systems. Mathematische Annalen, Vol. 152 , Pp. 65–74.Cocke John and Minsky Marvin. Universality of Tag Systems with D = 2. Journal of the Association for Computing Machinery, Vol. 11 , Pp. 15–20.Cook Stephen A.. The Solvability of the Derivability Problem for One-Normal Systems. Journal of the Association for Computing Machinery, Vol. 13 , Pp. 223–225. [REVIEW]Ann Yasuhara - 1971 - Journal of Symbolic Logic 36 (2):344.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  17
    A. V. Kuznécov and V. Á. Gérčiu. O Supérintuicionistskih Logikah I Finitnoj Approksimiruémosti. Doklady Akadémii Nauk SSSR, Vol. 195 , Pp. 1029–1032. - A. V. Kuznecov and V. A. Gerčiu. Superintuitionistic Logics and Finite Approximability. English Translation of the Preceding by E. Mendelson. Soviet Mathematics, Vol. 11 No. 6 , Pp. 1614–1619. [REVIEW]Ann Yasuhara - 1972 - Journal of Symbolic Logic 37 (4):757.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  13
    Dennis F. Cudia and Wilson E. Singletary. The Post Correspondence Problem. The Journal of Symbolic Logic, Vol. 33 , Pp. 418–430. - Dennis F. Cudia and Wilson E. Singletary. Degrees of Unsolvability in Formal Grammars. Journal of the Association for Computing Machinery, Vol. 15 , Pp. 680–692. [REVIEW]Ann Yasuhara - 1974 - Journal of Symbolic Logic 39 (1):185-186.
  4.  10
    Raymond M. Smullyan, On Post 's Canonical Systems. The Journal of Symbolic Logic, Vol. 27 No. 1 , Pp. 55–57.Ann Yasuhara - 1969 - Journal of Symbolic Logic 33 (4):623.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  8
    Ronald Harrop. Some Structure Results for Propositional Calculi. The Journal of Symbolic Logic, Vol. 30 , Pp. 271–292.Ann Yasuhara - 1968 - Journal of Symbolic Logic 32 (4):537-538.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  4
    George J. Tourlakis. Computabitity. Reston Publishing Company, Reston, Va., 1984, X + 566 Pp. [REVIEW]Ann Yasuhara - 1988 - Journal of Symbolic Logic 53 (4):1255-1257.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  12
    Kuznecov A. V.. Undecidability of the General Problems of Completeness, Decidability and Equivalence for Propositional Calculi. English Translation of XXXVII 772 by E. Mendelson. American Mathematical Society Translations, Ser. 2 Vol. 59 , Pp. 56–72. [REVIEW]Ann Yasuhara - 1972 - Journal of Symbolic Logic 37 (4):756-757.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8. Review: George J. Tourlakis, Computability. [REVIEW]Ann Yasuhara - 1988 - Journal of Symbolic Logic 53 (4):1255-1257.
     
    Export citation  
     
    Bookmark  
  9.  10
    Adjan S. I.. Defining Relations and Algorithmic Problems for Groups and Semigroups. English Translation of XXXVIII 357 by M. Greendlinger. Proceedings of the Steklov Institute of Mathematics, No. 85 , American Mathematical Society, Providence 1967, Iii + 152 Pp. [REVIEW]Ann Yasuhara - 1973 - Journal of Symbolic Logic 38 (2):338-339.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  5
    Cudia Dennis F. And Singletary Wilson E.. The Post Correspondence Problem.Ann Yasuhara - 1974 - Journal of Symbolic Logic 39 (1):185-186.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  6
    Review: Hao Wang, Tag Systems and Lag Systems; John Cocke, Marvin Minsky, Universality of Tag Systems with $D = 2$; Stephen A. Cook, The Solvability of the Derivability Problem for One-Normal Systems. [REVIEW]Ann Yasuhara - 1971 - Journal of Symbolic Logic 36 (2):344-344.
  12.  5
    Review: Raymond M. Smullyan, On Post's Canonical Systems. [REVIEW]Ann Yasuhara - 1968 - Journal of Symbolic Logic 33 (4):623-623.
  13.  5
    Review: S. I. Adjan, M. Greendlinger, Defining Relations and Algorithmic Problems for Groups and Semigroups. [REVIEW]Ann Yasuhara - 1973 - Journal of Symbolic Logic 38 (2):338-339.
  14.  2
    Review: Ronald Harrop, Some Structure Results for Propositional Calculi. [REVIEW]Ann Yasuhara - 1967 - Journal of Symbolic Logic 32 (4):537-538.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  22
    Some Non-Recursive Classes of Thue Systems With Solvable Word Problem.Ann Yasuhara - 1974 - Mathematical Logic Quarterly 20 (8-12):121-132.