Works by A. Yasuhara

( view other items matching `A. Yasuhara`, view all matches )
12 found
Order:
Disambiguations
Ann Yasuhara [14]Akira Yasuhara [2]A. Yasuhara [1]
  1.  50
    The dissociation of the [a + c] dislocation in GaN.P. B. Hirsch, J. G. Lozano, S. Rhode, M. K. Horton, M. A. Moram, S. Zhang, M. J. Kappers, C. J. Humphreys, A. Yasuhara, E. Okunishi & P. D. Nellist - 2013 - Philosophical Magazine 93 (28-30):3925-3938.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  31
    The structure of an Al–Rh–Cu decagonal quasicrystal studied by spherical aberration -corrected scanning transmission electron microscopy.Kenji Hiraga, Akira Yasuhara, Kazuki Yamamoto & Kunio Yubuta - 2015 - Philosophical Magazine 95 (14):1524-1535.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  29
    (1 other version)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  
  4.  31
    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.  38
    The study of Al3 crystal and Al–Mn–Pd decagonal quasicrystal by spherical aberration-corrected scanning transmission microscopy and atomic-resolution energy dispersive X-ray spectroscopy.Akira Yasuhara & Kenji Hiraga - 2015 - Philosophical Magazine 95 (14):1511-1523.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  51
    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 (4 more)  
     
    Export citation  
     
    Bookmark  
  7.  34
    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  
  8.  52
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  29
    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  
  10.  62
    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 (4 more)  
     
    Export citation  
     
    Bookmark  
  11.  31
    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  
  12.  20
    Review: Raymond M. Smullyan, On Post's Canonical Systems. [REVIEW]Ann Yasuhara - 1968 - Journal of Symbolic Logic 33 (4):623-623.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark