Остановите войну!
for scientists:
default search action
Andreas Blass
- > Home > Persons > Andreas Blass
Publications
- 2023
- [j96]Yuri Gurevich, Andreas Blass:
What are kets? Bull. EATCS 141 (2023) - [j95]Yuri Gurevich, Andreas Blass:
Software science view on quantum circuit algorithms. Inf. Comput. 292: 105024 (2023) - [i18]Yuri Gurevich, Andreas Blass:
Primal logic of information. CoRR abs/2307.06454 (2023) - 2022
- [j94]Andreas Blass, Yuri Gurevich, Alexander Volberg:
Wigner's quasidistribution and Dirac's kets. Bull. EATCS 136 (2022) - [j93]Yuri Gurevich, Andreas Blass:
Quantum circuits with classical channels and the principle of deferred measurements. Theor. Comput. Sci. 920: 21-32 (2022) - [i17]Andreas Blass, Yuri Gurevich, Alexander Volberg:
Wigner's quasidistribution and Dirac's kets. CoRR abs/2201.05911 (2022) - [i16]Yuri Gurevich, Andreas Blass:
Software science view on quantum circuit algorithms. CoRR abs/2209.13731 (2022) - 2021
- [i15]Yuri Gurevich, Andreas Blass:
Quantum circuits with classical channels and the principle of deferred measurements. CoRR abs/2107.08324 (2021) - [i14]Yuri Gurevich, Andreas Blass:
Simple circuit simulations of classical and quantum Turing machines. CoRR abs/2111.10830 (2021) - 2020
- [j92]Andreas Blass, Yuri Gurevich:
Circuits: An abstract viewpoint. Bull. EATCS 131 (2020) - [j91]Andreas Blass, Yuri Gurevich:
Witness algebra and anyon braiding. Math. Struct. Comput. Sci. 30(3): 234-270 (2020) - [j90]Andreas Blass, Yuri Gurevich:
Braided distributivity. Theor. Comput. Sci. 807: 73-94 (2020) - [i13]Andreas Blass, Yuri Gurevich:
Circuits: An abstract viewpoint. CoRR abs/2006.09488 (2020) - [i12]Andreas Blass, Yuri Gurevich:
Negative probabilities: What they are and what they are for. CoRR abs/2009.10552 (2020) - 2019
- [j89]Andreas Blass, Yuri Gurevich:
Circuit pedantry. Bull. EATCS 129 (2019) - [i11]Andreas Blass, Yuri Gurevich:
Circuit pedantry. CoRR abs/1910.06145 (2019) - 2018
- [j88]Andreas Blass, Yuri Gurevich:
Who needs category theory? Bull. EATCS 124 (2018) - [j87]Andreas Blass, Yuri Gurevich:
Negative probabilities, II What they are and what they are for. Bull. EATCS 125 (2018) - [j86]Andreas Blass, Yuri Gurevich:
An Invitation to Quantum Computing. Bull. EATCS 126 (2018) - [i10]Andreas Blass, Yuri Gurevich:
Witness Algebra and Anyon Braiding. CoRR abs/1807.10414 (2018) - [i9]Andreas Blass, Yuri Gurevich:
Who needs category theory? CoRR abs/1807.11399 (2018) - [i8]Andreas Blass, Yuri Gurevich:
Coherence for braided distributivity. CoRR abs/1807.11403 (2018) - 2017
- [j85]Andreas Blass, Yuri Gurevich:
On the Rectilinear Steiner Problem. Bull. EATCS 121 (2017) - [c22]Andreas Blass, Yuri Gurevich:
Common Denominator for Value and Expectation No-go Theorems: Extended Abstract. QPL 2017: 98-103 - 2016
- [p4]Andreas Blass, Yuri Gurevich:
On Quantum Computation, Anyons, and Categories. Martin Davis on Computability, Computational Logic, and Mathematical Foundations 2016: 209-241 - 2013
- [j81]Andreas Blass, Yuri Gurevich:
Abstract Hilbertian deductive systems, infon logic, and Datalog. Inf. Comput. 231: 21-37 (2013) - 2011
- [j80]Andreas Blass, Yuri Gurevich:
Persistent queries in the behavioral theory of algorithms. ACM Trans. Comput. Log. 12(2): 16:1-16:43 (2011) - [p3]Andreas Blass, Yuri Gurevich:
Zero-One Laws: Thesauri and Parametric Conditions. Proof, Computation and Agency 2011: 99-114 - 2010
- [j79]Andreas Blass, Yuri Gurevich, Efim Hudis:
The Tower-of-Babel Problem, and Security Assesment Sharing. Bull. EATCS 101: 161-182 (2010) - [j78]Andreas Blass, Yuri Gurevich:
Hilbertian Deductive Systems, Infon Logic, and Datalog. Bull. EATCS 102: 122-150 (2010) - [j77]Nikolaj S. Bjørner, Andreas Blass, Yuri Gurevich:
Content-dependent chunking for differential compression, the local maximum approach. J. Comput. Syst. Sci. 76(3-4): 154-203 (2010) - [c19]Andreas Blass, Yuri Gurevich, Michal Moskal, Itay Neeman:
Evidential Authorization. The Future of Software Engineering 2010: 73-99 - [c17]Andreas Blass, Nachum Dershowitz, Yuri Gurevich:
Exact Exploration and Hanging Algorithms. CSL 2010: 140-154 - 2009
- [j75]Andreas Blass, Nachum Dershowitz, Yuri Gurevich:
When are two algorithms the same? Bull. Symb. Log. 15(2): 145-168 (2009) - 2008
- [j74]Andreas Blass, Yuri Gurevich:
Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog. Bull. EATCS 95: 164-182 (2008) - [j73]Andreas Blass, Yuri Gurevich:
Program termination and well partial orderings. ACM Trans. Comput. Log. 9(3): 18:1-18:26 (2008) - [j72]Andreas Blass, Yuri Gurevich:
Abstract state machines capture parallel algorithms: Correction and extension. ACM Trans. Comput. Log. 9(3): 19:1-19:32 (2008) - [c15]Andreas Blass, Yuri Gurevich:
Why Sets? Pillars of Computer Science 2008: 179-198 - [c14]Andreas Blass, Yuri Gurevich:
One Useful Logic That Defines Its Own Truth. MFCS 2008: 1-15 - [i7]Andreas Blass, Nachum Dershowitz, Yuri Gurevich:
When are two algorithms the same? CoRR abs/0811.0811 (2008) - [i6]Andreas Blass, Yuri Gurevich:
Persistent Queries. CoRR abs/0811.0819 (2008) - [i5]Andreas Blass, Yuri Gurevich:
One useful logic that defines its own truth. CoRR abs/0811.0964 (2008) - [i4]Andreas Blass, Yuri Gurevich:
Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog. CoRR abs/0811.0977 (2008) - [i3]Nikolaj S. Bjørner, Andreas Blass, Yuri Gurevich, Madan Musuvathi:
Modular difference logic is hard. CoRR abs/0811.0987 (2008) - 2007
- [j71]Andreas Blass, Yuri Gurevich:
Zero-One Laws: Thesauri and Parametric Conditions. Bull. EATCS 91: 125-144 (2007) - [j70]Andreas Blass, Yuri Gurevich:
Background of Computation. Bull. EATCS 92: 82-114 (2007) - [j69]Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman:
Interactive Small-Step Algorithms I: Axiomatization. Log. Methods Comput. Sci. 3(4) (2007) - [j68]Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman:
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem. Log. Methods Comput. Sci. 3(4) (2007) - [j67]Andreas Blass, Yuri Gurevich:
Ordinary interactive small-step algorithms, II. ACM Trans. Comput. Log. 8(3): 15 (2007) - [j66]Andreas Blass, Yuri Gurevich:
Ordinary interactive small-step algorithms, III. ACM Trans. Comput. Log. 8(3): 16 (2007) - [i2]Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman:
Interactive Small-Step Algorithms I: Axiomatization. CoRR abs/0707.3782 (2007) - [i1]Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman:
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem. CoRR abs/0707.3789 (2007) - 2006
- [j65]Andreas Blass, Yuri Gurevich:
Ordinary interactive small-step algorithms, I. ACM Trans. Comput. Log. 7(2): 363-419 (2006) - 2005
- [c12]Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes:
Play to Test. FATES 2005: 32-46 - 2004
- [j61]Andreas Blass, Yuri Gurevich:
Why Sets? (Column: Logic in Computer Science). Bull. EATCS 84: 139-156 (2004) - 2003
- [j59]Andreas Blass, Yuri Gurevich:
Algorithms: A Quest for Absolute Definitions. Bull. EATCS 81: 195-225 (2003) - [j58]Andreas Blass, Yuri Gurevich:
Strong extension axioms and Shelah's zero-one law for choiceless polynomial time. J. Symb. Log. 68(1): 65-131 (2003) - [j56]Andreas Blass, Yuri Gurevich:
Abstract state machines capture parallel algorithms. ACM Trans. Comput. Log. 4(4): 578-651 (2003) - 2002
- [j55]Andreas Blass, Yuri Gurevich:
Algorithms vs. Machines. Bull. EATCS 77: 96-119 (2002) - [j54]Andreas Blass, Yuri Gurevich:
Pairwise Testing. Bull. EATCS 78: 100-132 (2002) - [j53]Andreas Blass, Yuri Gurevich, Jan Van den Bussche:
Abstract State Machines and Computationally Complete Query Languages. Inf. Comput. 174(1): 20-36 (2002) - [j52]Andreas Blass, Yuri Gurevich, Saharon Shelah:
On Polynomial Time Computation over Unordered Structures. J. Symb. Log. 67(3): 1093-1125 (2002) - 2001
- [j50]Andreas Blass, Yuri Gurevich, Saharon Shelah:
Addendum to "Choiceless Polynomial Time": Ann. Pure Appl. Logic 100 (1999) 141-187. Ann. Pure Appl. Log. 112(1): 117 (2001) - [j49]Andreas Blass, Yuri Gurevich:
Inadequacy of computable loop invariants. ACM Trans. Comput. Log. 2(1): 1-11 (2001) - [p2]Andreas Blass, Yuri Gurevich:
The Underlying Logic of Hoare Logic. Current Trends in Theoretical Computer Science 2001: 409-436 - 2000
- [j48]Andreas Blass, Yuri Gurevich:
The Underlying Logic of Hoare Logic. Bull. EATCS 70: 82-111 (2000) - [j47]Andreas Blass, Yuri Gurevich:
A New Zero-One Law and Strong Extension Axioms. Bull. EATCS 72: 103-122 (2000) - [j46]Andreas Blass, Yuri Gurevich:
The Logic of Choice. J. Symb. Log. 65(3): 1264-1310 (2000) - [c9]Andreas Blass, Yuri Gurevich, Jan Van den Bussche:
Abstract State Machines and Computationally Complete Query Languages. Abstract State Machines 2000: 22-33 - [c8]Andreas Blass, Yuri Gurevich:
Background, Reserve, and Gandy Machines. CSL 2000: 1-17 - [c7]Andreas Blass, Yuri Gurevich:
Choiceless Polynominal Time Computation and the Zero-One Law. CSL 2000: 18-40 - 1999
- [j45]Andreas Blass, Yuri Gurevich, Saharon Shelah:
Choiceless Polynomial Time. Ann. Pure Appl. Log. 100(1-3): 141-187 (1999) - 1998
- [j43]Andreas Blass, Yuri Gurevich, Vladik Kreinovich, Luc Longpré:
A Variation on the Zero-One Law. Inf. Process. Lett. 67(1): 29-30 (1998) - 1997
- [j41]Andreas Blass, Yuri Gurevich:
The Linear Time Hierarchy Theorems for Abstract State Machines and RAMs. J. Univers. Comput. Sci. 3(4): 247-278 (1997) - 1995
- [j39]Andreas Blass, Yuri Gurevich:
Matrix Transformation Is Complete for the Average Case. SIAM J. Comput. 24(1): 3-29 (1995) - 1994
- [c6]Andreas Blass, Yuri Gurevich:
Evolving Algebras and Linear Time Hierarchy. IFIP Congress (1) 1994: 383-390 - 1993
- [j37]Andreas Blass, Yuri Gurevich:
Randomizing Reductions of Search Problems. SIAM J. Comput. 22(5): 949-975 (1993) - 1991
- [c4]Andreas Blass, Yuri Gurevich:
Randomizing Reductions of Search Problems. FSTTCS 1991: 10-24 - 1990
- [c3]Andreas Blass, Yuri Gurevich:
On the Reduction Theory for Average Case Complexity. CSL 1990: 17-30 - 1989
- [j31]Andreas Blass, Yuri Gurevich:
On Matijasevitch's Nontraditional Approach to Search Problems. Inf. Process. Lett. 32(1): 41-45 (1989) - 1987
- [c2]Andreas Blass, Yuri Gurevich:
Existential Fixed-Point Logic. Computation Theory and Logic 1987: 20-36 - 1986
- [j25]Andreas Blass, Yuri Gurevich:
Henkin quantifiers and complete problems. Ann. Pure Appl. Log. 32: 1-16 (1986) - 1985
- [j20]Andreas Blass, Yuri Gurevich, Dexter Kozen:
A Zero-One Law for Logic with a Fixed-Point Operator. Inf. Control. 67(1-3): 70-90 (1985) - 1984
- [j17]Andreas Blass, Yuri Gurevich:
Equivalence Relations, Invariants, and Normal Forms. SIAM J. Comput. 13(4): 682-689 (1984) - 1983
- [c1]Andreas Blass, Yuri Gurevich:
Equivalence relations, invariants, and normal forms. Logic and Machines 1983: 24-42 - 1982
- [j16]Andreas Blass, Yuri Gurevich:
On the Unique Satisfiability Problem. Inf. Control. 55(1-3): 80-88 (1982)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-02-02 16:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint