Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Interpreted synchronous extension of time Petri nets: Definition, semantics and formal analysisGodary-Dejean, Karen ; Leroux, Hélène ; Andreu, DavidDiscrete event dynamic systems, 2022-03, Vol.32 (1), p.27-64 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
|
2 |
Material Type: Livro
|
Formal Semantics and Pragmatics for Natural Language QueryingJames CliffordCambridge Cambridge University Press 1990Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Artigo
|
K‐Go: An executable formal semantics of Go language in K frameworkZhao, Can ; Liu, Qin ; Hu, Zonghua ; Yu, Ze ; Wang, Dejun ; Meng, BoIET blockchain, 2023-06, Vol.3 (2), p.61-73 [Periódico revisado por pares]Texto completo disponível |
|
4 |
Material Type: Artigo
|
Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualizationMisirli, Goksel ; Cavaliere, Matteo ; Waites, William ; Pocock, Matthew ; Madsen, Curtis ; Gilfellon, Owen ; Honorato-Zimmer, Ricardo ; Zuliani, Paolo ; Danos, Vincent ; Wipat, AnilBioinformatics, 2016-03, Vol.32 (6), p.908-917 [Periódico revisado por pares]England: Oxford University Press (OUP)Texto completo disponível |
|
5 |
Material Type: Livro
|
Formal semantics of Natural Language: Papers from a colloquium sponsored by the King's College Research Centre, CambridgeCambridge Colloquium on Formal Semantics of Natural Language Edward Louis Keenan; King's College (University of Cambridge).Cambridge University Press 1975Acesso online |
|
6 |
Material Type: Livro
|
Formal Syntax and Semantics of JavaJim Alves-Foss James Alves-Foss; Juris Hartmanis; Jan van LeeuwenSpringer Berlin Heidelberg 1999Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Artigo
|
Formal semantics of OMG’s Interaction Flow Modeling Language (IFML) for mobile and rich-client application model driven developmentBernaschina, Carlo ; Comai, Sara ; Fraternali, PieroThe Journal of systems and software, 2018-03, Vol.137, p.239-260 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
|
8 |
Material Type: Artigo
|
From formal semantics to transcendental pragmatics: Karl-Otto Apel’s original insightHabermas, JürgenPhilosophy & social criticism, 2020-07, Vol.46 (6), p.627-650 [Periódico revisado por pares]London, England: SAGE PublicationsTexto completo disponível |
|
9 |
Material Type: Artigo
|
Distributional formal semanticsVenhuizen, Noortje J. ; Hendriks, Petra ; Crocker, Matthew W. ; Brouwer, HarmInformation and computation, 2022-09, Vol.287, p.104763, Article 104763 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
|
10 |
Material Type: Livro
|
|