المؤلفون: Andrej Bauer

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

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

وصف الملف: electronic resource

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

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

المؤلفون: Andrej Bauer, Anja Petković Komel

المصدر: Logical Methods in Computer Science, Vol Volume 18, Issue 1 (2022)

مصطلحات موضوعية: computer science - logic in computer science, mathematics - logic, 03b38 (primary), 68q42 (secondary), f.4.1, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

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

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

المؤلفون: Andrej Bauer, Andrew Swan

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

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

وصف الملف: electronic resource

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

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

المؤلفون: Andrej Bauer, Matija Pretnar

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

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

وصف الملف: electronic resource

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

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

المؤلفون: M. Besher Massri, Joao Pita Costa, Andrej Bauer, Marko Grobelnik, Janez Brank, Luka Stopar

المصدر: Informatica. 46

مصطلحات موضوعية: Artificial Intelligence, Software, Computer Science Applications, Theoretical Computer Science

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ba83db1098dbbbebf007c72043ea9f8d
https://doi.org/10.31449/inf.v46i1.3375

المؤلفون: Andrej Bauer

مصطلحات موضوعية: General Computer Science, FOS: Mathematics, Mathematics - Logic, Logic (math.LO), Theoretical Computer Science, 03D30

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6afeab6b17323b2a7cbf050944b79dcf
http://arxiv.org/abs/2106.01734

المؤلفون: Andrej Bauer, Anja Petkovic, Philipp G. Haselwarter

المصدر: Lecture Notes in Computer Science ISBN: 9783030521998
ICMS

مصطلحات موضوعية: Andromeda, Type theory, Generalization, Computer science, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computation, Extensionality, Proof assistant, Calculus, Gas meter prover, Type (model theory)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d0bd368f648536869e1e8ae189c36a69
https://doi.org/10.1007/978-3-030-52200-1_25

المؤلفون: Andrej Bauer, Danel Ahman

المصدر: Programming Languages and Systems-29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Programming Languages and Systems
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Programming Languages and Systems
Programming Languages and Systems ISBN: 9783030449131

مصطلحات موضوعية: FOS: Computer and information sciences, Code (set theory), Runners, Computer science, 0102 computer and information sciences, 02 engineering and technology, Lambda, 01 natural sciences, algebraic effects, Article, Denotational semantics, 0202 electrical engineering, electronic engineering, information engineering, Algebraic number, computer.programming_language, Discrete mathematics, Computer Science - Programming Languages, 020207 software engineering, Action (physics), 010201 computation theory & mathematics, Core (graph theory), Computer Science::Programming Languages, Haskell, finalisation, comodels, Resource management (computing), resources, computer, Programming Languages (cs.PL)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ab37bb6ba32fe17a66b489fcf250e4b4

المؤلفون: Andrej Bauer

المصدر: Bulletin of the American Mathematical Society. 54:481-498

مصطلحات موضوعية: 010201 computation theory & mathematics, Applied Mathematics, General Mathematics, 010102 general mathematics, Mathematics education, 0102 computer and information sciences, 0101 mathematics, 01 natural sciences, Algorithm, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2bb850b84cc19d3446d9f0ee19f4dd04
https://doi.org/10.1090/bull/1556

المؤلفون: Andrej Bauer

المصدر: Mathematical Structures in Computer Science. 25:1484-1489

مصطلحات موضوعية: Discrete mathematics, Turing machine, symbols.namesake, Mathematics (miscellaneous), Realizability, symbols, Natural number, Baire space, Baire measure, Object (computer science), Computer Science Applications, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ecad1ef909ed4fb118cc7a573d5b3841
https://doi.org/10.1017/s0960129513000406