×

Found 321 Documents (Results 1–100)

Linear time algorithm for quantum 2SAT. (English) Zbl 1388.68064

Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 15, 14 p. (2016).
MSC:  68Q12

All functions \(g:\mathbb N\to\mathbb N\) which have a single-fold Diophantine representation are dominated by a limit-computable function \(f:\mathbb N\backslash\{0\}\to\mathbb N\) which is implemented in MuPAD and whose computability is an open problem. (English) Zbl 1349.03041

Daras, Nicholas J. (ed.) et al., Computation, cryptography, and network security. Cham: Springer (ISBN 978-3-319-18274-2/hbk; 978-3-319-18275-9/ebook). 577-590 (2015).
MSC:  03D20 11U05

Scepticism and verificationism. (English) Zbl 1367.03017

Schroeder-Heister, Peter (ed.) et al., Logic, methodology and philosophy of science. Logic and science facing the new technologies. Proceedings of the 14th international congress, Nancy, France, July 19–26, 2011. London: College Publications (ISBN 978-1-84890-169-8/pbk). 285-298 (2014).
MSC:  03A10

Note on Fuglede-Putnam-Rosenblum’s commutativity result. (English) Zbl 1304.46044

Abel, Mart (ed.), Proceedings of the international conference on topological algebras and their applications, ICTAA 2013, Tartu, Estonia, May 30 – June 2, 2013 to celebrate the 70th birthday of Mati Abel. Tartu: Estonian Mathematical Society (ISBN 978-9949-32-499-6/pbk). Mathematics Studies (Tartu) 6, 134-138 (2014).
MSC:  46K05 46J05

A negative conjunctive query is easy if and only if it is beta-acyclic. (English) Zbl 1252.68092

Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3–6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPIcs – Leibniz International Proceedings in Informatics 16, 137-151, electronic only (2012).
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software