المؤلفون: Arno Pauly

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 277, Iss Proc. GandALF 2018, Pp 30-42 (2018)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1809.03093v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/08fe53037fb64d79a824d83bcd6bf521

المؤلفون: Hugo Nobrega, Arno Pauly

المصدر: Logical Methods in Computer Science, Vol Volume 15, Issue 3 (2019)

مصطلحات موضوعية: mathematics - logic, computer science - logic in computer science, 03e15, 54h05, 03d60, 03f15, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/4284/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/2d6e655877a342078d65aad459d81e71

المؤلفون: Vasco Brattka, Arno Pauly

المصدر: Logical Methods in Computer Science, Vol Volume 14, Issue 4, Iss Computability and logic (2018)

مصطلحات موضوعية: computer science - logic in computer science, mathematics - logic, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/3854/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/fa98805099ad484db8d9994e8e9c57b0

المؤلفون: Stéphane Le Roux, Arno Pauly

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 226, Iss Proc. GandALF 2016, Pp 242-256 (2016)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1609.04099v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/13417d63bbe44c0f82501f8ac922a651

المؤلفون: Stéphane Le Roux, Arno Pauly

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 218, Iss Proc. SR 2016, Pp 27-40 (2016)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1607.03356v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/30edca1b54a74b84871555ace130e033

المؤلفون: Arno Pauly, Willem Fouché, George Davie

المصدر: Logical Methods in Computer Science, Vol Volume 14, Issue 2 (2018)

مصطلحات موضوعية: computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/3245/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/9c4eec6163d042788a966a5156b2b795

المؤلفون: Xiang Jiang, Arno Pauly

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 146, Iss Proc. SR 2014, Pp 75-81 (2014)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1404.0842v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/2b7d05d4d7954950ae51c5ae2404782d

المؤلفون: Arno Pauly, Matthew de Brecht

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 143, Iss Proc. DCM 2012, Pp 87-96 (2014)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1404.0079v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/75a3d17c0a4f48968635f4b601046844

المؤلفون: Stéphane Le Roux, Arno Pauly

المصدر: Logical Methods in Computer Science, Vol Volume 11, Issue 4 (2015)

مصطلحات موضوعية: mathematics - logic, computer science - computational geometry, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/1607/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/001fc7408d4a483c8c22b9e948131a57

المؤلفون: Vasco Brattka, Arno Pauly

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 24, Iss Proc. CCA 2010, Pp 41-55 (2010)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1006.0395v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/ac2ae76d908e476e91a329731d0dd539