A Logical Approach to Type Soundness: A logical approach to type soundness

Συγγραφείς: Amin Timany, Robbert Krebbers, Derek Dreyer, Lars Birkedal

Πηγή: Journal of the Association for Computing Machinery, 71, 6, pp. 1-75
Timany, A, Krebbers, R, Dreyer, D & Birkedal, L 2024, 'A Logical Approach to Type Soundness', Journal of the ACM, vol. 71, no. 6, 40. https://doi.org/10.1145/3676954

Θεματικοί όροι: Logic in computer science, Type soundness, Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.), Theory of programming languages, Semantics in the theory of computing, Iris, type soundness, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, logical relations, Formalization of mathematics in connection with theorem provers, Software Science, data abstraction, 0202 electrical engineering, electronic engineering, information engineering, Coq, step-indexing, concurrent separation logic

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://zbmath.org/8030807
https://doi.org/10.1145/3676954
https://hdl.handle.net/https://repository.ubn.ru.nl/handle/2066/312783
https://doi.org/10.1145/3676954
https://hdl.handle.net/2066/312783
https://repository.ubn.ru.nl//bitstream/handle/2066/312783/312783.pdf
https://pure.au.dk/portal/en/publications/6c1d3054-690e-429f-8d9e-527c436f14b6
http://www.scopus.com/inward/record.url?scp=85212245880&partnerID=8YFLogxK
https://doi.org/10.1145/3676954

sL-approximation spaces capture sL-domains

Συγγραφείς: Guojun Wu, Luoshan Xu, Wei Yao

Πηγή: Mathematical Structures in Computer Science. 35

Θεματικοί όροι: Continuous lattices and posets, applications, upper approximation operator, Semantics in the theory of computing, L-domain, sL-domain, sL-approximation space, Reasoning under uncertainty in the context of artificial intelligence, categorical equivalence

Περιγραφή αρχείου: application/xml

On higher-order communication in ambient calculi

Συγγραφείς: Xian Xu, Yan Huang, Zhihuan Yao

Πηγή: Mathematical Structures in Computer Science. 35

Θεματικοί όροι: higher-order communication, bisimulation, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), Semantics in the theory of computing, labeled transition system, ambient calculus

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://zbmath.org/8030886
https://doi.org/10.1017/s0960129525000015

Incremental Closure for Systems of Two Variables Per Inequality: Incremental closure for systems of two variables per inequality

Συγγραφείς: Howe, J. M., King, A., Simon, A.

Πηγή: Theoretical Computer Science. 768:1-42

Θεματικοί όροι: QA75, Specification and verification (program logics, model checking, etc.), Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.), Semantics in the theory of computing, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, QA76, weakly relational abstract domains, two variables per inequality (TVPI) abstract domain, Linear programming, 0202 electrical engineering, electronic engineering, information engineering, Analysis of algorithms, abstract interpretation

Περιγραφή αρχείου: application/xml; application/pdf

Σύνδεσμος πρόσβασης: https://zbmath.org/7041826
https://doi.org/10.1016/j.tcs.2018.12.001
https://kar.kent.ac.uk/70546/11/1-s2.0-S0304397518307199-main.pdf
https://openaccess.city.ac.uk/id/eprint/21241/8/1-s2.0-S0304397518307199-main.pdf
https://www.sciencedirect.com/science/article/pii/S0304397518307199
http://openaccess.city.ac.uk/id/eprint/21241/
https://dblp.uni-trier.de/db/journals/tcs/tcs768.html#HoweKS19

Modeling ontology evolution via Pi-Calculus: Modeling ontology evolution via pi-calculus

Συγγραφείς: Rui Zhang, Lei Liu, Wenjuan Gao, Degui Guo

Πηγή: Information Sciences. :286-301

Θεματικοί όροι: Knowledge representation, pi-calculus, ontology evolution, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), operational semantics, Semantics in the theory of computing, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://dblp.uni-trier.de/db/journals/isci/isci346.html#ZhangGGL16
https://dl.acm.org/doi/10.1016/j.ins.2016.01.059
https://www.sciencedirect.com/science/article/pii/S0020025516000931
https://dl.acm.org/citation.cfm?id=2906536

Extracting a Data Flow Analyser in Constructive Logic: Extracting a data flow analyser in constructive logic

Συγγραφείς: Cachera, David, Jensen, Thomas, Pichardie, David, Rusu, Vlad

Συνεισφορές: Dart, Mister, Logiciel : ANalyse et DEveloppement (Lande), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria), Contributions of the Data parallelism to real time (DART), Laboratoire d'Informatique Fondamentale de Lille (LIFL), Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Inria Lille - Nord Europe

Πηγή: Lecture Notes in Computer Science ISBN: 9783540213130

Θεματικοί όροι: Specification and verification (program logics, model checking, etc.), Semantics in the theory of computing, Program analysis, Constructive logic, Lattices, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, Theoretical Computer Science, Coq proof assistant, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Constraint solving, constraint-based data flow analysis, Theorem proving, Theorem proving (deduction, resolution, etc.), Computer Science(all)

Περιγραφή αρχείου: application/xml; application/pdf

Σύνδεσμος πρόσβασης: https://link.springer.com/content/pdf/10.1007%2F978-3-540-24725-8_27.pdf
https://zbmath.org/2207190
https://doi.org/10.1016/j.tcs.2005.06.004
https://inria.hal.science/inria-00564633v1
https://inria.hal.science/inria-00564611v1
https://inria.hal.science/inria-00564611v1/document
https://doi.org/10.1016/j.tcs.2005.06.004
https://core.ac.uk/display/82770449
https://www.irisa.fr/celtique/pichardie/papers/extract_TCS.pdf
https://www-sop.inria.fr/everest/personnel/David.Pichardie/Publis/extract_TCS.pdf
https://hal.inria.fr/inria-00564611/document
https://dblp.uni-trier.de/db/journals/tcs/tcs342.html#CacheraJPR05
https://www.irisa.fr/lande/cachera/Papers/CacJenPicRus-TCS05.pdf
https://link.springer.com/chapter/10.1007/978-3-540-24725-8_27
https://link.springer.com/content/pdf/10.1007%2F978-3-540-24725-8_27.pdf
https://rd.springer.com/chapter/10.1007/978-3-540-24725-8_27
https://hal.archives-ouvertes.fr/inria-00564633
https://hal.inria.fr/inria-00564633/document
https://dblp.uni-trier.de/db/conf/esop/esop2004.html#CacheraJPR04

Almost ASAP Semantics: From Timed Models to Timed Implementations: Almost ASAP semantics: from timed models to timed implementations

Συγγραφείς: De Wulf, Martin, Doyen, Laurent, Raskin, Jean-François

Πηγή: Lecture Notes in Computer Science ISBN: 9783540212591

Θεματικοί όροι: 4. Education, Informatique mathématique, Timed and Hybrid Automata, Semantics in the theory of computing, Verification, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Implementability, 01 natural sciences, 7. Clean energy, Semantics

Περιγραφή αρχείου: application/xml; 1 full-text file(s): application/pdf

Σύνδεσμος πρόσβασης: http://www.ulb.ac.be/di/ssd/cfv/TechReps/TechRep_CFV_2003_20.pdf
https://zbmath.org/2238128
https://doi.org/10.1007/s00165-005-0067-8
https://dblp.uni-trier.de/db/conf/hybrid/hscc2004.html#WulfDR04
https://link.springer.com/chapter/10.1007/978-3-540-24743-2_20
https://difusion.ulb.ac.be/vufind/Record/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/67596/Details
https://link.springer.com/content/pdf/10.1007/978-3-540-24743-2_20.pdf
https://doi.org/10.1007/978-3-540-24743-2_20
https://core.ac.uk/display/8866568
https://core.ac.uk/display/8866570
http://www.ulb.ac.be/di/ssd/madewulf/aasapHSCC04.pdf
https://link.springer.com/content/pdf/10.1007%2F978-3-540-24743-2_20.pdf
https://link.springer.com/article/10.1007/s00165-005-0067-8
https://difusion.ulb.ac.be/vufind/Record/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/67589/Details
https://dblp.uni-trier.de/db/journals/fac/fac17.html#WulfDR05

A Game Semantics for Generic Polymorphism: A game semantics for generic polymorphism

Συγγραφείς: Abramsky, S, Jagadeesan, R

Πηγή: Lecture Notes in Computer Science ISBN: 9783540008972

Θεματικοί όροι: FOS: Computer and information sciences, Logic in computer science, Computer Science - Logic in Computer Science, Logic, Semantics in the theory of computing, System F, 0102 computer and information sciences, 16. Peace & justice, 01 natural sciences, game semantics, Logic in Computer Science (cs.LO), categorical model of program polymorphism, generic polymorphism, Combinatory logic and lambda calculus, 0101 mathematics, Categorical logic, topoi, second-order \(\lambda\)-calculus

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://link.springer.com/content/pdf/10.1007%2F3-540-36576-1_1.pdf
http://arxiv.org/abs/1312.1120
https://zbmath.org/2160240
https://doi.org/10.1016/j.apal.2004.10.002
https://dblp.uni-trier.de/db/journals/apal/apal133.html#AbramskyJ05
https://core.ac.uk/display/104165179
https://www.sciencedirect.com/science/article/pii/S0168007204001277
https://ora.ox.ac.uk/objects/uuid:b6b5bf73-365a-4393-84f5-863a7af8f0ad
https://ora.ox.ac.uk/objects/uuid:20509a38-8a84-42c0-9d17-86d082773905

Correctness of data representations involving heap data structures

Συγγραφείς: Reddy, U, Yang, H

Πηγή: Lecture Notes in Computer Science ISBN: 9783540008866

Θεματικοί όροι: Denotational semantics, Separation logic, Data structures, Imperative programming languages, Theory of programming languages, Semantics in the theory of computing, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Relational parametricity, 01 natural sciences, Software

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://link.springer.com/content/pdf/10.1007%2F3-540-36575-3_16.pdf
https://zbmath.org/2117393
https://doi.org/10.1016/j.scico.2004.01.007
https://www.sciencedirect.com/science/article/abs/pii/S0167642304000085
https://research.birmingham.ac.uk/portal/files/12780893/heap_parametricity.pdf
https://www.sciencedirect.com/science/article/pii/S0167642304000085
https://koasas.kaist.ac.kr/handle/10203/225299
https://link.springer.com/content/pdf/10.1007%2F3-540-36575-3_16.pdf
https://link.springer.com/chapter/10.1007/3-540-36575-3_16
https://ora.ox.ac.uk/objects/uuid:00777d7d-7ecb-448a-b610-c053964eff8c
https://ora.ox.ac.uk/objects/uuid:1b1c88e9-64cf-4a53-8cde-ee20895c6e5b

Live and Let Die: LSC-Based Verification of UML-Models: Live and let die: LSC based verification of UML models

Συγγραφείς: Damm, Werner, Westphal, Bernd

Πηγή: Lecture Notes in Computer Science ISBN: 9783540203032

Θεματικοί όροι: Specification and verification (program logics, model checking, etc.), Semantics in the theory of computing, 0202 electrical engineering, electronic engineering, information engineering, query reduction, 02 engineering and technology, Software

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: http://www-omega.imag.fr/doc/d1000344_1/WP22-344-V1-fmco02-verif.pdf
https://www.sciencedirect.com/science/article/pii/S0167642304001480
https://dblp.uni-trier.de/db/journals/scp/scp55.html#DammW05
https://link.springer.com/content/pdf/10.1007%2F978-3-540-39656-7_4.pdf
https://link.springer.com/chapter/10.1007/978-3-540-39656-7_4
https://core.ac.uk/display/82721356
https://doi.org/10.1007/978-3-540-39656-7_4

Logic programs as compact denotations: Logic programs as compact denotations.

Συγγραφείς: P. M. Hill, SPOTO, Nicola Fausto

Πηγή: Lecture Notes in Computer Science ISBN: 9783540003892

Θεματικοί όροι: Denotational semantics, static analysis, abstract interpretation, logic programs, Logic programs, abstract denotation, logic program, Semantics in the theory of computing, 0202 electrical engineering, electronic engineering, information engineering, Abstract interpretation, 02 engineering and technology, Static analysis, Logic programming

Περιγραφή αρχείου: application/xml; application/pdf

Σύνδεσμος πρόσβασης: https://zbmath.org/2056481
https://doi.org/10.1016/s1477-8424(03)00023-x
https://link.springer.com/content/pdf/10.1007%2F3-540-36388-2_23.pdf
https://iris.univr.it/handle/11562/32401
https://rd.springer.com/chapter/10.1007/3-540-36388-2_23
https://dblp.uni-trier.de/db/journals/cl/cl29.html#HillS03
https://www.sciencedirect.com/science/article/pii/S147784240300023X
https://link.springer.com/chapter/10.1007/3-540-36388-2_23
https://link.springer.com/content/pdf/10.1007%2F3-540-36388-2_23.pdf
https://dblp.uni-trier.de/db/conf/padl/padl2003.html#HillS03
https://iris.univr.it/handle/11562/16665
https://link.springer.com/chapter/10.1007/3-540-36388-2_23
https://hdl.handle.net/11562/16665
https://doi.org/10.1007/3-540-36388-2_23

A fixpoint theory for non-monotonic parallelism

Συγγραφείς: Yifeng, C.

Πηγή: Lecture Notes in Computer Science ISBN: 9783540442400

Θεματικοί όροι: Reactive programs, Semantics in the theory of computing, Parallelism, Reactive program, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Semantics, Theoretical Computer Science, Fixpoint, Partitioned fixpoint, 0202 electrical engineering, electronic engineering, information engineering, Recursion, Computer Science(all)

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://link.springer.com/chapter/10.1007/3-540-45793-3_9
https://rd.springer.com/chapter/10.1007/3-540-45793-3_9
https://link.springer.com/content/pdf/10.1007%2F3-540-45793-3_9.pdf
https://dblp.uni-trier.de/db/conf/csl/csl2002.html#Chen02
http://core.ac.uk/display/24398384

Games Characterizing Levy-Longo Trees: Games characterizing Levy-Longo trees

Συγγραφείς: DI GIANANTONIO, Pietro, ONG Luke

Πηγή: Lecture Notes in Computer Science ISBN: 9783540438649

Θεματικοί όροι: Game semantics, arenas, Levy–Longo trees, Semantics in the theory of computing, 0102 computer and information sciences, 02 engineering and technology, Lazy lambda-calculus, Universality, 01 natural sciences, game semantics, Theoretical Computer Science, Lambda calculus, Other game-theoretic models, Full abstraction, full abstraction, 0202 electrical engineering, electronic engineering, information engineering, Combinatory logic and lambda calculus, universality, Computer Science(all)

Περιγραφή αρχείου: application/xml; application/pdf

Σύνδεσμος πρόσβασης: https://zbmath.org/2110973
https://doi.org/10.1016/s0304-3975(03)00405-5
https://www.sciencedirect.com/science/article/abs/pii/S0304397503004055
https://link.springer.com/chapter/10.1007/3-540-45465-9_41
https://rd.springer.com/chapter/10.1007/3-540-45465-9_41
https://dblp.uni-trier.de/db/conf/icalp/icalp2002.html#OngG02
https://www.sciencedirect.com/science/article/pii/S0304397503004055
https://hdl.handle.net/11390/689803
https://doi.org/10.1016/S0304-3975(03)00405-5
https://hdl.handle.net/11390/744513

Measuring the probabilistic powerdomain

Συγγραφείς: Martin, K, Mislove, M, Worrell, J

Πηγή: Lecture Notes in Computer Science ISBN: 9783540438649

Θεματικοί όροι: 4. Education, Semantics in the theory of computing, 0102 computer and information sciences, iterated function system, 7. Clean energy, 01 natural sciences, Theoretical Computer Science, Continuous lattices and posets, applications, continuous domain, 11. Sustainability, probabilistic powerdomain, measurement, 0101 mathematics, valuation, Computer Science(all)

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://ora.ox.ac.uk/objects/uuid:f00025e5-49ff-459a-b316-d442d8a35cfd/download_file?safe_filename=Measuring-the-probabilistic-powerdomain_2004_Theoretical-Computer-Science.pdf&file_format=application%2Fpdf&type_of_work=Journal+article
https://zbmath.org/2110972
https://doi.org/10.1016/s0304-3975(03)00404-3
https://www.sciencedirect.com/science/article/pii/S0304397503004043
https://rd.springer.com/chapter/10.1007/3-540-45465-9_40
https://link.springer.com/chapter/10.1007/3-540-45465-9_40
https://dblp.uni-trier.de/db/conf/icalp/icalp2002.html#MartinMW02
https://ora.ox.ac.uk/objects/uuid:f00025e5-49ff-459a-b316-d442d8a35cfd
https://doi.org/10.1016/s0304-3975(03)00404-3
https://ora.ox.ac.uk/objects/uuid:0e145746-7650-4ff5-8a00-4b120a10014a
https://doi.org/10.1016/s0304-3975(03)00404-3

Comparing Refinements for Failure and Bisimulation Semantics: Comparing refinements for failure and bisimulation semantics

Συγγραφείς: Eshuis, H., Fokkinga, Martinus Maria

Πηγή: Fundamenta Informaticae. 52:297-321

Θεματικοί όροι: bisimulation semantics, Semantics in the theory of computing, Decorated traces, 0102 computer and information sciences, METIS-119622, Refinement, IR-63500, Failure semantics, 01 natural sciences, Labelled transition systems, EWI-7210, Bisimulation semantics

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://zbmath.org/1886073
https://research.tue.nl/en/publications/a199cf80-c19e-481c-8e81-40152e8f3c81
https://research.utwente.nl/en/publications/462b513f-8928-4bde-9130-4f177d0c8b41
https://research.utwente.nl/en/publications/e4252636-9c17-40c4-ad6e-5c29f95a376c

Local Models Semantics, or contextual reasoning=locality+compatibility☆☆This paper is a substantially revised and extended version of a paper with the same title presented at the 1998 Knowledge Representation and Reasoning Conference (KR'98). The order of the names is alphabetical: Local Models Semantics, or contextual reasoning = locality + compatibility

Συγγραφείς: C. Ghidini, Giunchiglia, Fausto

Συνεισφορές: Ghidini, Chiara, Giunchiglia, Fausto

Πηγή: Artificial Intelligence. 127:221-259

Θεματικοί όροι: local models semantics, locality and compatibility, Local Models Semantics, knowledge representation, Semantics in the theory of computing, 0102 computer and information sciences, 02 engineering and technology, contexts, 01 natural sciences, Contexts, Knowledge representation, Locality and compatibility, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering

Περιγραφή αρχείου: application/xml; application/pdf

Σύνδεσμος πρόσβασης: https://zbmath.org/1635376
https://doi.org/10.1016/s0004-3702(01)00064-9
https://kr.org/proceedings/KR-1998-proceedings-scanned.pdf
https://hdl.handle.net/11572/46813

Iteration 2-theories

Συγγραφείς: S. L. BLOOM, Z. ESIK, LABELLA, Anna, E. G. MANES

Πηγή: Esik, Z, Bloom, S L, Labella, A & Manes, E 2001, 'Iteration 2-Theories', Applied Categorical Structures, vol. 9, no. 2, pp. 173-216.
Esik, Z, Bloom, S L, Labella, A & Manes, E 2001, ' Iteration 2-Theories ', Applied Categorical Structures, vol. 9, no. 2, pp. 173-216 .

Θεματικοί όροι: recursive data types, dagger operation, regular trees, 4. Education, 2-categories, algebraic theories, equational logic, fixed point operation, initiality, iteration theories, rewriting, Semantics in the theory of computing, Theories (e.g., algebraic theories), structure, and semantics, 16. Peace & justice, recursive functorial equations, data type specifications, tree transformations, 3. Good health, Categorical semantics of formal languages, Double categories, \(2\)-categories, bicategories and generalizations, Equational logic, Mal'tsev conditions, Free algebras, iteration 2-theories, free iteration 2-theories, 2-theory, Grammars and rewriting systems, algebraically complete categories, Cartesian structure

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://vbn.aau.dk/da/publications/5893e6b0-8092-11db-8b97-000ea68e967b
https://link.springer.com/article/10.1023%2FA%3A1008708924144
https://vbn.aau.dk/da/publications/iteration-2-theories
https://dblp.uni-trier.de/db/journals/acs/acs9.html#BloomELM01
https://hdl.handle.net/11573/192908
http://www.springerlink.com/content/m2t52vn7l3u7rk
https://doi.org/10.1007/BFb0000461

A fully abstract denotational semantics for the calculus of higher-order communicating systems

Συγγραφείς: Thomsen, B., Abramsky, S.

Πηγή: Thomsen, B & Abramsky, S 2001, 'A fully abstract denotational semantics for the calculus of higher-order communicating systems', Theoretical Computer Science, vol. 254, no. 1-2, pp. 557-589. https://doi.org/10.1016/S0304-3975(00)00281-4

Θεματικοί όροι: Denotational semantics, Fully abstract, processes as first class objects, Semantics in the theory of computing, higher-order communicating systems, fully abstract, Processes as first class objects, Higher-order communicating systems, denotational semantics, Theoretical Computer Science, Computer Science(all)

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://zbmath.org/1635084
https://doi.org/10.1016/s0304-3975(00)00281-4
http://www.scopus.com/inward/record.url?scp=0034909171&partnerID=8YFLogxK
https://doi.org/10.1016/S0304-3975(00)00281-4
https://vbn.aau.dk/da/publications/cfa04c4e-42b3-4728-bcca-d8bd1bfde474
https://www.cs.ox.ac.uk/publications/publication1809-abstract.html
https://www.sciencedirect.com/science/article/pii/S0304397500002814
https://www.sciencedirect.com/science/article/abs/pii/S0304397500002814
https://dblp.uni-trier.de/db/journals/tcs/tcs254.html#ThomsenA01
https://ora.ox.ac.uk/objects/uuid:9db33c55-00ad-4c8b-9514-43bfd01a222d

On the equational definition of the least prefixed point: On the equational definition of the least prefixed point.

Συγγραφείς: Santocanale, Luigi

Συνεισφορές: Santocanale, Luigi

Πηγή: Lecture Notes in Computer Science ISBN: 9783540424963

Θεματικοί όροι: Least fixed point, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Semantics and logics of programs, Semantics in the theory of computing, Temporal logic, 0102 computer and information sciences, 0101 mathematics, Fixed point calculi, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://hal.science/hal-01261158v1
https://doi.org/10.1007/3-540-44683-4_56

An axiomatic semantics for the synchronous language Gentzen: An axiomatic semantics for the synchronous language Gentzen.

Συγγραφείς: TINI, SIMONE

Πηγή: Lecture Notes in Computer Science ISBN: 9783540418641

Θεματικοί όροι: Computational Theory and Mathematics, Computer Networks and Communications, Applied Mathematics, Semantics in the theory of computing, 0202 electrical engineering, electronic engineering, information engineering, timed concurrent constraint programming, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://link.springer.com/content/pdf/10.1007%2F3-540-45315-6_26.pdf
https://zbmath.org/1963842
https://doi.org/10.1016/s0022-0000(03)00003-5
https://core.ac.uk/display/22493180
https://dblp.uni-trier.de/db/conf/fossacs/fossacs2001.html#Tini01
https://link.springer.com/content/pdf/10.1007%2F3-540-45315-6_26.pdf
https://rd.springer.com/chapter/10.1007/3-540-45315-6_26
https://link.springer.com/chapter/10.1007/3-540-45315-6_26
https://dblp.uni-trier.de/db/journals/jcss/jcss66.html#Tini03
http://www.sciencedirect.com/science/article/pii/S0022000003000035
https://www.sciencedirect.com/science/article/pii/S0022000003000035
https://hdl.handle.net/11383/1490752
https://hdl.handle.net/11383/1490755