المؤلفون: Bergstra, J., Tucker, J.V.

المصدر: Bergstra , J & Tucker , J V 2023 , ' Naive Fracterm Calculus ' , Journal of Universal Computer Science , vol. 29 , no. 9 , pp. 961-987 . https://doi.org/10.3897/jucs.87563

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

Relation: https://dare.uva.nl/personal/pure/en/publications/naive-fracterm-calculus(ae667c40-e75f-49f2-9d37-d7842cd0c39a).html

الاتاحة: https://dare.uva.nl/personal/pure/en/publications/naive-fracterm-calculus(ae667c40-e75f-49f2-9d37-d7842cd0c39a).html
https://doi.org/10.3897/jucs.87563
https://hdl.handle.net/11245.1/ae667c40-e75f-49f2-9d37-d7842cd0c39a
https://pure.uva.nl/ws/files/180266283/document-1.pdf
http://www.scopus.com/inward/record.url?scp=85181743132&partnerID=8YFLogxK

المؤلفون: Bergstra, J.A., Tucker, J.V.

المصدر: Bergstra , J A & Tucker , J V 2023 , ' On The Axioms Of Common Meadows: Fracterm Calculus, Flattening And Incompleteness ' , Computer Journal , vol. 66 , no. 7 , pp. 1565-1572 . https://doi.org/10.1093/comjnl/bxac026

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

Relation: https://dare.uva.nl/personal/pure/en/publications/on-the-axioms-of-common-meadows-fracterm-calculus-flattening-and-incompleteness(a4bf7e92-da16-4212-9877-546c89cfc4bd).html

الاتاحة: https://dare.uva.nl/personal/pure/en/publications/on-the-axioms-of-common-meadows-fracterm-calculus-flattening-and-incompleteness(a4bf7e92-da16-4212-9877-546c89cfc4bd).html
https://doi.org/10.1093/comjnl/bxac026
https://hdl.handle.net/11245.1/a4bf7e92-da16-4212-9877-546c89cfc4bd
https://pure.uva.nl/ws/files/140288826/On_The_Axioms_Of_Common_Meadows.pdf

المؤلفون: Bergstra, J.A., Tucker, J.V.

المصدر: Bergstra , J A & Tucker , J V 2022 , ' Totalising Partial Algebras : Teams and Splinters ' , Transmathematica , vol. 2022 . https://doi.org/10.36285/tm.57

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

Relation: https://dare.uva.nl/personal/pure/en/publications/totalising-partial-algebras(d5017e61-7d5a-4cdd-a2fc-63e63285702d).html

الاتاحة: https://dare.uva.nl/personal/pure/en/publications/totalising-partial-algebras(d5017e61-7d5a-4cdd-a2fc-63e63285702d).html
https://doi.org/10.36285/tm.57
https://hdl.handle.net/11245.1/d5017e61-7d5a-4cdd-a2fc-63e63285702d
https://pure.uva.nl/ws/files/123437690/57_Main_Text_323_1_10_20220328.pdf

المؤلفون: Bergstra, J.A., Tucker, J.V.

المصدر: Bergstra , J A & Tucker , J V 2022 , ' Partial arithmetical data types of rational numbers and their equational specification ' , Journal of Logical and Algebraic Methods in Programming , vol. 128 , 100797 . https://doi.org/10.1016/j.jlamp.2022.100797

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

Relation: https://dare.uva.nl/personal/pure/en/publications/partial-arithmetical-data-types-of-rational-numbers-and-their-equational-specification(5790cd5c-4c7e-44e2-bfe8-696b7f54f45a).html

الاتاحة: https://dare.uva.nl/personal/pure/en/publications/partial-arithmetical-data-types-of-rational-numbers-and-their-equational-specification(5790cd5c-4c7e-44e2-bfe8-696b7f54f45a).html
https://doi.org/10.1016/j.jlamp.2022.100797
https://hdl.handle.net/11245.1/5790cd5c-4c7e-44e2-bfe8-696b7f54f45a
https://pure.uva.nl/ws/files/123443463/1_s2.0_S2352220822000505_main.pdf

المؤلفون: Bergstra, J.A., Tucker, J.V.

المصدر: Bergstra , J A & Tucker , J V 2022 , ' Which Arithmetical Data Types Admit Fracterm Flattening? ' , Scientific Annals of Computer Science , vol. 32 , no. 1 , pp. 87-107 . https://doi.org/10.7561/SACS.2022.1.87

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

Relation: https://dare.uva.nl/personal/pure/en/publications/which-arithmetical-data-types-admit-fracterm-flattening(d910c0fb-fce4-4fb0-bbb4-810daad8e2cd).html

الاتاحة: https://dare.uva.nl/personal/pure/en/publications/which-arithmetical-data-types-admit-fracterm-flattening(d910c0fb-fce4-4fb0-bbb4-810daad8e2cd).html
https://doi.org/10.7561/SACS.2022.1.87
https://hdl.handle.net/11245.1/d910c0fb-fce4-4fb0-bbb4-810daad8e2cd
https://pure.uva.nl/ws/files/123724297/XXXII1_2.pdf

المؤلفون: Bergstra, J.A., Tucker, J.V.

المساهمون: Jansen, N., Stoelinga, M., van den Bos, P.

المصدر: Bergstra , J A & Tucker , J V 2022 , Symmetric Transrationals: The Data Type and the Algorithmic Degree of its Equational Theory . in N Jansen , M Stoelinga & P van den Bos (eds) , A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday . Lecture Notes in Computer Science , vol. 13560 , Cham , pp. 63-80 . https://doi.org/10.1007/978-3-031-15629-8_4

Relation: https://dare.uva.nl/personal/pure/en/publications/symmetric-transrationals-the-data-type-and-the-algorithmic-degree-of-its-equational-theory(58476c58-8ea9-4894-921f-486d5d893cdd).html; urn:ISBN:9783031156281

الاتاحة: https://dare.uva.nl/personal/pure/en/publications/symmetric-transrationals-the-data-type-and-the-algorithmic-degree-of-its-equational-theory(58476c58-8ea9-4894-921f-486d5d893cdd).html
https://doi.org/10.1007/978-3-031-15629-8_4
https://hdl.handle.net/11245.1/58476c58-8ea9-4894-921f-486d5d893cdd

المؤلفون: Tucker, J.V., Zucker, J.I.

المصدر: Theoretical Computer Science ; volume 412, issue 28, page 3378-3403 ; ISSN 0304-3975

الاتاحة: http://dx.doi.org/10.1016/j.tcs.2011.04.012
https://api.elsevier.com/content/article/PII:S030439751100301X?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S030439751100301X?httpAccept=text/plain

المؤلفون: Bergstra, J.A., Hirshfeld, Y., Tucker, J.V.

المصدر: Theoretical Computer Science ; volume 410, issue 12-13, page 1261-1271 ; ISSN 0304-3975

الاتاحة: http://dx.doi.org/10.1016/j.tcs.2008.12.015
https://api.elsevier.com/content/article/PII:S0304397508008967?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0304397508008967?httpAccept=text/plain

المؤلفون: Bergstra, J.A., Tucker, J.V.

المصدر: Bergstra , J A & Tucker , J V 2008 , ' Division safe calculation in totalised fields ' , Theory of Computing Systems , vol. 43 , no. 3-4 , pp. 410-424 . https://doi.org/10.1007/s00224-007-9035-4

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

Relation: https://dare.uva.nl/personal/pure/en/publications/division-safe-calculation-in-totalised-fields(5ea4e0b4-95a1-4e00-9ffb-9222aa49e058).html

الاتاحة: https://dare.uva.nl/personal/pure/en/publications/division-safe-calculation-in-totalised-fields(5ea4e0b4-95a1-4e00-9ffb-9222aa49e058).html
https://doi.org/10.1007/s00224-007-9035-4
https://pure.uva.nl/ws/files/4330858/64819_294416.pdf

المؤلفون: Tucker, J.V., Zucker, J.I.

المصدر: The Journal of Logic and Algebraic Programming ; volume 62, issue 1, page 71-108 ; ISSN 1567-8326

الاتاحة: http://dx.doi.org/10.1016/j.jlap.2003.10.001
https://api.elsevier.com/content/article/PII:S1567832603000791?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S1567832603000791?httpAccept=text/plain

المؤلفون: Rees, D.Ll.L., Stephenson, K., Tucker, J.V.

المصدر: Science of Computer Programming ; volume 49, issue 1-3, page 47-88 ; ISSN 0167-6423

الاتاحة: http://dx.doi.org/10.1016/j.scico.2003.04.001
https://api.elsevier.com/content/article/PII:S0167642303000327?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0167642303000327?httpAccept=text/plain

المؤلفون: Blanck, J., Stoltenberg-Hansen, V., Tucker, J.V.

المصدر: Theoretical Computer Science ; volume 284, issue 2, page 207-240 ; ISSN 0304-3975

الاتاحة: http://dx.doi.org/10.1016/s0304-3975(01)00065-2
https://api.elsevier.com/content/article/PII:S0304397501000652?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0304397501000652?httpAccept=text/plain

المؤلفون: Tucker, J.V., Zucker, J.I.

المصدر: Theoretical Computer Science ; volume 219, issue 1-2, page 379-420 ; ISSN 0304-3975

الاتاحة: http://dx.doi.org/10.1016/s0304-3975(98)00297-7
https://api.elsevier.com/content/article/PII:S0304397598002977?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0304397598002977?httpAccept=text/plain

المؤلفون: Bergstra, J.A., Tucker, J.V.

مصطلحات موضوعية: Wijsbegeerte, Abstract data types, complete term rewriting systems, computable and semicomputable algebras, equational specifications with hidden functions, many sorted algebras, term rewriting systems

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

Relation: https://dspace.library.uu.nl/handle/1874/13570

الاتاحة: https://dspace.library.uu.nl/handle/1874/13570

المؤلفون: Bergstra, J.A., Tucker, J.V.

مصطلحات موضوعية: Wijsbegeerte

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

Relation: 1873-2461 (online); 0168-0072 (print); https://dspace.library.uu.nl/handle/1874/12830

الاتاحة: https://dspace.library.uu.nl/handle/1874/12830

المؤلفون: Bergstra, J.A., Hirschfeld, Y., Tucker, J.V.

المصدر: Bergstra , J A , Hirschfeld , Y & Tucker , J V 2007 , Skew Meadows . PRG technical report , no. PRG0706 , Amsterdam . < http:///www.science.uva.nl/research/prog/publications.html >

Relation: https://dare.uva.nl/personal/pure/en/publications/skew-meadows(8e705283-5fab-4cc0-ae25-1ec46f464501).html

الاتاحة: https://dare.uva.nl/personal/pure/en/publications/skew-meadows(8e705283-5fab-4cc0-ae25-1ec46f464501).html
http:///www.science.uva.nl/research/prog/publications.html

المؤلفون: Bergstra, J.A., Hirschfeld, Y., Tucker, J.V.

المصدر: Bergstra , J A , Hirschfeld , Y & Tucker , J V 2007 , Meadows . PRG technical report , no. PRG0705 , Amsterdam . < http:///www.science.uva.nl/research/prog/publications.html >

Relation: https://dare.uva.nl/personal/pure/en/publications/meadows(41ca97e7-6aad-4b10-a312-b37e6530eb36).html

الاتاحة: https://dare.uva.nl/personal/pure/en/publications/meadows(41ca97e7-6aad-4b10-a312-b37e6530eb36).html
http:///www.science.uva.nl/research/prog/publications.html

المؤلفون: Bergstra, J.A., Tucker, J.V.

المصدر: Bergstra , J A & Tucker , J V 2006 , Division Safe Calculation in Totalised Fields . Amsterdam .

Relation: https://dare.uva.nl/personal/pure/en/publications/division-safe-calculation-in-totalised-fields(9711d177-55b1-4498-968b-a0b76d5bee86).html

الاتاحة: https://dare.uva.nl/personal/pure/en/publications/division-safe-calculation-in-totalised-fields(9711d177-55b1-4498-968b-a0b76d5bee86).html

المؤلفون: Beckmann, A., Berger, U., Löwe, B., Tucker, J.V.

المصدر: Beckmann , A , Berger , U , Löwe , B & Tucker , J V 2006 , Logical approaches to computational barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, Wales, July 2006, Proceedings . Lecture Notes in Computer Science , no. 3988 , Heidelberg .

Relation: https://dare.uva.nl/personal/pure/en/publications/logical-approaches-to-computational-barriers-second-conference-on-computability-in-europe-cie-2006-swansea-wales-july-2006-proceedings(85b3d9e6-9a9c-4f5c-8c5e-0a3d7e907a17).html

الاتاحة: https://dare.uva.nl/personal/pure/en/publications/logical-approaches-to-computational-barriers-second-conference-on-computability-in-europe-cie-2006-swansea-wales-july-2006-proceedings(85b3d9e6-9a9c-4f5c-8c5e-0a3d7e907a17).html

المؤلفون: Clark, D.P., Min Chen, Tucker, J.V.

المصدر: IEEE Sixth International Symposium on Multimedia Software Engineering ; page 265-272

الاتاحة: http://dx.doi.org/10.1109/mmse.2004.31
http://xplorestaging.ieee.org/ielx5/9470/30047/01376671.pdf?arnumber=1376671