scientific article; zbMATH DE number 970828

zbMath0867.68002MaRDI QIDQ5689034

W.Brecht

Publication date: 23 January 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

complexityTuring machinesdecidabilityconcurrencygrammarstheory of computingviruses

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Computer system organization (68M99) Theory of computing (68Qxx)

Related Items

1997–98 Annual Meeting of the Association for Symbolic Logic, 1998 European Summer Meeting of the Association for Symbolic Logic, 2000 Annual Meeting of the Association for Symbolic Logic, The Logic of Bunched Implications, A new correctness criterion for the proof nets of non-commutative multiplicative linear logics, On very high degrees, Can partial indexings be totalized?, XI Latin American Symposium on Mathematical Logic, On the existence of Stone-Čech compactification, The logic of interactive turing reduction, The number of proofs for a BCK-formula