المؤلفون: Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk

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

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

وصف الملف: electronic resource

العلاقة: https://lmcs.episciences.org/4458/pdfTest; https://doaj.org/toc/1860-5974Test

الوصول الحر: https://doaj.org/article/2a365853969641569b613275dbe92621Test

المؤلفون: Dariusz Biernacki, Serguei Lenglet, Piotr Polesiuk

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

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

وصف الملف: electronic resource

العلاقة: https://lmcs.episciences.org/4041/pdfTest; https://doaj.org/toc/1860-5974Test

الوصول الحر: https://doaj.org/article/d6163e609ac845ed9189c1d88a46fb82Test

المؤلفون: Dariusz Biernacki, Piotr Polesiuk

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

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

وصف الملف: electronic resource

العلاقة: https://lmcs.episciences.org/4180/pdfTest; https://doaj.org/toc/1860-5974Test

الوصول الحر: https://doaj.org/article/1828603354e740f485fc878eccbf0c65Test

المؤلفون: Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk

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

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

وصف الملف: electronic resource

العلاقة: https://lmcs.episciences.org/2563/pdfTest; https://doaj.org/toc/1860-5974Test

الوصول الحر: https://doaj.org/article/40b0d2a723cf4dca87cf606c6cce6a6eTest

المؤلفون: Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Marek Materzok

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 127, Iss Proc. COS 2013, Pp 15-29 (2013)

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

وصف الملف: electronic resource

العلاقة: http://arxiv.org/pdf/1309.1261v1Test; https://doaj.org/toc/2075-2180Test

الوصول الحر: https://doaj.org/article/c3bcb5ae03d74a589b2fa3eb626b5cc3Test

المؤلفون: Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy

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

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

وصف الملف: electronic resource

العلاقة: https://lmcs.episciences.org/2269/pdfTest; https://doaj.org/toc/1860-5974Test

الوصول الحر: https://doaj.org/article/6b6afdbdcae5419c8fef0c6d6517bf46Test

المؤلفون: Dariusz Biernacki, Maciej Buszka

المصدر: Logic-Based Program Synthesis and Transformation ISBN: 9783030988685

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::290be410eaf2a0c4b4c2e23f8cb02ad6Test
https://doi.org/10.1007/978-3-030-98869-2_3Test

المؤلفون: Dariusz Biernacki, Piotr Polesiuk, Filip Sieczkowski, Maciej Piróg

المصدر: Proceedings of the ACM on Programming Languages. 4:1-29

مصطلحات موضوعية: Reduction (recursion theory), Programming language, Computer science, Semantics (computer science), 020207 software engineering, Context (language use), 0102 computer and information sciences, 02 engineering and technology, Construct (python library), Expression (computer science), Type (model theory), computer.software_genre, 01 natural sciences, Core (game theory), 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, Algebraic number, Safety, Risk, Reliability and Quality, computer, Software

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::abbbdb1ddf78e01b2a932de402196c7fTest
https://doi.org/10.1145/3371116Test

المؤلفون: Mateusz Pyzik, Filip Sieczkowski, Dariusz Biernacki

المصدر: PPDP

مصطلحات موضوعية: Reduction (complexity), Sequence, Operator (computer programming), Computer science, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Delimiter, Continuation-passing style, Arithmetic, Lambda calculus, computer, Invariant (computer science), Operational semantics, computer.programming_language

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::66e34b83a7b4fea8ff8de166421c847aTest
https://doi.org/10.1145/3479394.3479399Test

المؤلفون: Piotr Polesiuk, Dariusz Biernacki, Maciej Piróg, Filip Sieczkowski

المصدر: Proceedings of the ACM on Programming Languages

مصطلحات موضوعية: Functional programming, business.industry, Computer science, Programming language, 020207 software engineering, 02 engineering and technology, Modular design, Type (model theory), computer.software_genre, Proof of concept, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), State (computer science), Algebraic number, Safety, Risk, Reliability and Quality, business, computer, Software, Abstraction (linguistics)

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ec042203013feb823d41d044182bbe8Test
https://doi.org/10.1145/3290319Test