Search Results for Semantics.

15 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Yazar

Draheim, Dirk. author.

https://doi.org/10.1007/978-3-642-55198-7

Format:

Electronic Resources

Alıntı:

Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior

Semantics, Analytics, Visualization 3rd International Workshop, SAVE-SD 2017, Perth, Australia, April 3, 2017, and 4th International Workshop, SAVE-SD 2018, Lyon, France, April 24, 2018, Revised Selected Papers

Yazar

González-Beltrán, Alejandra. editor. (orcid)0000-0003-3499-8262

https://doi.org/10.1007/978-3-030-01379-0

Format:

Electronic Resources

Alıntı:

Semantics, Analytics, Visualization 3rd International Workshop, SAVE-SD 2017, Perth, Australia

The Semantic Web – ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21–25, 2017, Proceedings, Part I

Yazar

d'Amato, Claudia. editor. (orcid)0000-0002-3385-987X

https://doi.org/10.1007/978-3-319-68288-4

Format:

Electronic Resources

Alıntı:

The Semantic Web – ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

Yazar

Cavalheiro, Simone. editor. (orcid)0000-0002-7442-7379

https://doi.org/10.1007/978-3-319-70848-5

Format:

Electronic Resources

Alıntı:

-- Semantics and languages.

Process Algebras for Petri Nets The Alphabetization of Distributed Systems

Yazar

Gorrieri, Roberto. author.

https://doi.org/10.1007/978-3-319-55559-1

Format:

Electronic Resources

Alıntı:

students and researchers engaged with the concurrent semantics of distributed communicating systems. The

Models of Computation

Yazar

Bruni, Roberto. author.

https://doi.org/10.1007/978-3-319-42900-7

Format:

Electronic Resources

Alıntı:

Denotational Semantics -- Equivalence Between HOFL Denotational and Operational Semantics -- Calculus for

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

Yazar

Steffen, Bernhard. author.

https://doi.org/10.1007/978-3-319-68397-3

Format:

Electronic Resources

Alıntı:

functions, the authors focus on the separation between syntax (representation) and semantics (meaning), and

Computational Artifacts Towards a Philosophy of Computer Science

Yazar

Turner, Raymond. author.

https://doi.org/10.1007/978-3-662-55565-1

Format:

Electronic Resources

Alıntı:

-- Programming Languages -- Semantic Requirements -- Semantic Varieties -- Semantics and Implementation

Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

Yazar

Chang, Bor-Yuh Evan. editor.

https://doi.org/10.1007/978-3-319-71237-6

Format:

Electronic Resources

Alıntı:

: Maintaining the ORDER -- Semantics -- A Computational Interpretation of Context-Free Expressions -- Partiality

10.

The Semantic Web: ESWC 2017 Satellite Events ESWC 2017 Satellite Events, Portorož, Slovenia, May 28 – June 1, 2017, Revised Selected Papers

Yazar

Blomqvist, Eva. editor.

https://doi.org/10.1007/978-3-319-70407-4

Format:

Electronic Resources

Alıntı:

The Semantic Web: ESWC 2017 Satellite Events ESWC 2017 Satellite Events, Portorož, Slovenia, May 28

11.

The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part II

Yazar

Blomqvist, Eva. editor.

https://doi.org/10.1007/978-3-319-58451-5

Format:

Electronic Resources

Alıntı:

The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1

12.

The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part I

Yazar

Blomqvist, Eva. editor.

https://doi.org/10.1007/978-3-319-58068-5

Format:

Electronic Resources

Alıntı:

The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1

	{displayName}	{count}
{error}