المؤلفون: Backhouse, Roland, Guttmann, Walter, Winter, Michael

مصطلحات موضوعية: Computer Science - Logic in Computer Science, D.1, F.3.1

الوصول الحر: http://arxiv.org/abs/2310.08946Test

المؤلفون: Furusawa, Hitoshi, Guttmann, Walter

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic, F.4.1

الوصول الحر: http://arxiv.org/abs/2309.11676Test

المؤلفون: Furusawa, Hitoshi, Guttmann, Walter, Struth, Georg

مصطلحات موضوعية: Computer Science - Logic in Computer Science

الوصول الحر: http://arxiv.org/abs/2305.11344Test

المؤلفون: Furusawa, Hitoshi, Guttmann, Walter, Struth, Georg

مصطلحات موضوعية: Computer Science - Logic in Computer Science

الوصول الحر: http://arxiv.org/abs/2305.11346Test

المؤلفون: Furusawa, Hitoshi, Guttmann, Walter, Struth, Georg

مصطلحات موضوعية: Computer Science - Logic in Computer Science

الوصول الحر: http://arxiv.org/abs/2305.11342Test

المؤلفون: Guttmann, Walter

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.3.1, F.3.2

الوصول الحر: http://arxiv.org/abs/2301.10311Test

المؤلفون: Berghammer, Rudolf, Furusawa, Hitoshi, Guttmann, Walter, Höfner, Peter

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.3.1, F.3.2

الوصول الحر: http://arxiv.org/abs/1801.04026Test

المؤلفون: Backhouse, Roland, Guttmann, Walter, Winter, Michael

مصطلحات موضوعية: Computer Science - Logic in Computer Science, D.1, F.3.1

العلاقة: http://arxiv.org/abs/2310.08946Test

الإتاحة: http://arxiv.org/abs/2310.08946Test

المؤلفون: Guttmann, Walter

المصدر: Kostenfrei.

مصطلحات موضوعية: Algebraische Struktur. Axiomatische Semantik. Formale Semantik. Funktionale Programmierung. Halbring. Kleene-Algebra. Lineare Rekursion. Nichtdeterminismus. Programmierparadigma. Programmiersprache. Relation Relationenalgebra.

الإتاحة: http://nbn-resolving.de/urn:nbn:de:bsz:289-vts-60992Test

المؤلفون: Guttmann, Walter

المصدر: Automated Reasoning ; Lecture Notes in Computer Science ; page 236-253 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030510534 9783030510541

الإتاحة: https://doi.org/10.1007/978-3-030-51054-1_14Test