Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Hao Wang 0001
@incollection{DBLP:series/hhl/FenstadW09,
author = {Jens Erik Fenstad and
Hao Wang},
editor = {Dov M. Gabbay and
John Woods},
title = {Thoralf Albert Skolem},
booktitle = {Logic from Russell to Church},
series = {Handbook of the History of Logic},
volume = {5},
pages = {127--194},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/S1874-5857(09)70008-1},
doi = {10.1016/S1874-5857(09)70008-1},
timestamp = {Thu, 09 Jul 2020 09:13:36 +0200},
biburl = {https://dblp.org/rec/series/hhl/FenstadW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Wang95,
author = {Hao Wang},
title = {Time in philosophy and in physics: From Kant and Einstein to G{\"{o}}del},
journal = {Synth.},
volume = {102},
number = {2},
pages = {215--234},
year = {1995},
url = {https://doi.org/10.1007/BF01089801},
doi = {10.1007/BF01089801},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Wang95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wang81,
author = {Hao Wang},
title = {Some Facts About Kurt Godel},
journal = {J. Symb. Log.},
volume = {46},
number = {3},
pages = {653--659},
year = {1981},
url = {https://doi.org/10.2307/2273764},
doi = {10.2307/2273764},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wang81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BrownW66,
author = {Kenneth R. Brown and
Hao Wang},
title = {Short Definitions of the Ordinals},
journal = {J. Symb. Log.},
volume = {31},
number = {3},
pages = {409--414},
year = {1966},
url = {https://doi.org/10.2307/2270457},
doi = {10.2307/2270457},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BrownW66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/RabinW63,
author = {Michael O. Rabin and
Hao Wang},
title = {Words in the History of a Turing Machine with a Fixed Input},
journal = {J. {ACM}},
volume = {10},
number = {4},
pages = {526--527},
year = {1963},
url = {https://doi.org/10.1145/321186.321195},
doi = {10.1145/321186.321195},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/RabinW63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Wang60,
author = {Hao Wang},
title = {Proving Theorems by Pattern Recognition {I}},
journal = {Commun. {ACM}},
volume = {3},
number = {4},
pages = {220--234},
year = {1960},
url = {https://doi.org/10.1145/367177.367224},
doi = {10.1145/367177.367224},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Wang60.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmrd/Wang60,
author = {Hao Wang},
title = {Toward Mechanical Mathematics},
journal = {{IBM} J. Res. Dev.},
volume = {4},
number = {1},
pages = {2--22},
year = {1960},
url = {https://doi.org/10.1147/rd.41.0002},
doi = {10.1147/RD.41.0002},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ibmrd/Wang60.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wang58,
author = {Hao Wang},
title = {Alternative Proof of a Theorem of Kleene},
journal = {J. Symb. Log.},
volume = {23},
number = {3},
pages = {250},
year = {1958},
url = {https://doi.org/10.2307/2964282},
doi = {10.2307/2964282},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wang58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Wang57,
author = {Hao Wang},
title = {A Variant to Turing's Theory of Computing Machines},
journal = {J. {ACM}},
volume = {4},
number = {1},
pages = {63--92},
year = {1957},
url = {https://doi.org/10.1145/320856.320867},
doi = {10.1145/320856.320867},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Wang57.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BurksW57,
author = {Arthur W. Burks and
Hao Wang},
title = {The Logic of Automata - Part {I}},
journal = {J. {ACM}},
volume = {4},
number = {2},
pages = {193--218},
year = {1957},
url = {https://doi.org/10.1145/320868.320880},
doi = {10.1145/320868.320880},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BurksW57.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BurksW57a,
author = {Arthur W. Burks and
Hao Wang},
title = {The Logic of Automata - Part {II}},
journal = {J. {ACM}},
volume = {4},
number = {3},
pages = {279--297},
year = {1957},
url = {https://doi.org/10.1145/320881.320885},
doi = {10.1145/320881.320885},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BurksW57a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wang57,
author = {Hao Wang},
title = {The Axiomatization of Arithmetic},
journal = {J. Symb. Log.},
volume = {22},
number = {2},
pages = {145--158},
year = {1957},
url = {https://doi.org/10.2307/2964176},
doi = {10.2307/2964176},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wang57.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wang55,
author = {Hao Wang},
title = {Undecidable Sentences Generated by Semantic Paradoxes},
journal = {J. Symb. Log.},
volume = {20},
number = {1},
pages = {31--43},
year = {1955},
url = {https://doi.org/10.2307/2268041},
doi = {10.2307/2268041},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wang55.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wang54,
author = {Hao Wang},
title = {The Formalization of Mathematics},
journal = {J. Symb. Log.},
volume = {19},
number = {4},
pages = {241--266},
year = {1954},
url = {https://doi.org/10.2307/2267732},
doi = {10.2307/2267732},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wang54.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wang53,
author = {Hao Wang},
title = {Certain Predicates Defined by Induction Schemata},
journal = {J. Symb. Log.},
volume = {18},
number = {1},
pages = {49--59},
year = {1953},
url = {https://doi.org/10.2307/2266327},
doi = {10.2307/2266327},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wang53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wang53a,
author = {Hao Wang},
title = {Problems},
journal = {J. Symb. Log.},
volume = {18},
number = {2},
pages = {186},
year = {1953},
url = {https://doi.org/10.1017/S0022481200098030},
doi = {10.1017/S0022481200098030},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wang53a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wang52,
author = {Hao Wang},
title = {Logic of Many-Sorted Theories},
journal = {J. Symb. Log.},
volume = {17},
number = {2},
pages = {105--116},
year = {1952},
url = {https://doi.org/10.2307/2266241},
doi = {10.2307/2266241},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Wang52.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wang50,
author = {Hao Wang},
title = {A Formal System of Logic},
journal = {J. Symb. Log.},
volume = {15},
number = {1},
pages = {25--32},
year = {1950},
url = {https://doi.org/10.2307/2268438},
doi = {10.2307/2268438},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Wang50.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wang50a,
author = {Hao Wang},
title = {Existence of Classes and Value Specification of Variables},
journal = {J. Symb. Log.},
volume = {15},
number = {2},
pages = {103--112},
year = {1950},
url = {https://doi.org/10.2307/2266970},
doi = {10.2307/2266970},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wang50a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/RosserW50,
author = {J. Barkley Rosser and
Hao Wang},
title = {Non-Standard Models for Formal Logics},
journal = {J. Symb. Log.},
volume = {15},
number = {2},
pages = {113--129},
year = {1950},
url = {https://doi.org/10.2307/2266971},
doi = {10.2307/2266971},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/RosserW50.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wang50b,
author = {Hao Wang},
title = {Set-Theoretical Basis for Real Numbers},
journal = {J. Symb. Log.},
volume = {15},
number = {4},
pages = {241--247},
year = {1950},
url = {https://doi.org/10.2307/2268336},
doi = {10.2307/2268336},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wang50b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wang48,
author = {Hao Wang},
title = {A New Theory of Element and Number},
journal = {J. Symb. Log.},
volume = {13},
number = {3},
pages = {129--137},
year = {1948},
url = {https://doi.org/10.2307/2267813},
doi = {10.2307/2267813},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wang48.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wang47,
author = {Hao Wang},
title = {A Note on Quine's Principles of Quantification},
journal = {J. Symb. Log.},
volume = {12},
number = {4},
pages = {130--132},
year = {1947},
url = {https://doi.org/10.2307/2266487},
doi = {10.2307/2266487},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wang47.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-19 19:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
