Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Formal semantics")

Filter

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Origin

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 1810

  • Page / 73
Export

Selection :

  • and

Some reflections on formal semanticsDUFFLEY, Patrick J.Langues et linguistique. 2005, Num 31, issn 0226-7144, 19-29 [10 p.]Article

Formal semantics in modern type theories with coercive subtypingZHAOHUI LUO.Linguistics and philosophy. 2012, Vol 35, Num 6, pp 491-513, issn 0165-0157, 23 p.Article

Propositional dynamic logic of nonregular programsHAREL, D; PNUELI, A; STAVI, J et al.Journal of computer and system sciences (Print). 1983, Vol 26, Num 2, pp 222-243, issn 0022-0000Article

Space as timeFARINAS, L.Information processing letters. 1983, Vol 17, Num 3, pp 113-115, issn 0020-0190Article

Tense and aspect in truth-conditional semanticsOGIHARA, Toshiyuki.Lingua (Haarlem. Print). 2007, Vol 117, Num 2, pp 392-418, issn 0024-3841, 27 p.Article

Foundations of computation theory. Proceedings of the 1983 International DCT-Conference, Borgholm, Sweden, August 21-27, 1983KARPINSKI, M. Ed.Lecture notes in computer science. 1983, Num 158, issn 0302-9743, XI-514 pConference Proceedings

A note on the «carving up content» principle in Frege's theory of senseLINSKY, B.Notre Dame journal of formal logic. 1992, Vol 33, Num 1, pp 126-135, issn 0029-4527Article

An operational semantics for specifications of abstract data types with error landlingENGELS, G; PLETAT, U; EHRICH, H.-D et al.Acta informatica. 1983, Vol 19, Num 3, pp 235-253, issn 0001-5903Article

Global Domains versus Hidden IndexicalsGAUKER, Christopher.Journal of semantics (Nijmegen). 2010, Vol 27, Num 2, pp 243-270, issn 0167-5133, 28 p.Article

The propositional dynamic logic of deterministic, well-structured programsHALPERN, J. Y; REIF, J. H.Theoretical computer science. 1983, Vol 27, Num 1-2, pp 127-165, issn 0304-3975Article

Properties of a notation for combining functionsRAOULT, J.-C; RAVI SETHI.Journal of the Association for Computing Machinery. 1983, Vol 30, Num 3, pp 595-611, issn 0004-5411Article

On infinite computations in denotational semanticsDE BAKKER, J. W; MEYER, J. J. C; ZUCKER, J. I et al.Theoretical computer science. 1983, Vol 29, Num 1-2, pp 229-230, issn 0304-3975Article

Effective axiomatizations of hoare logicsCLARKE, E. M. JR; GERMAN, S. M; HALPERN, J. Y et al.Journal of the Association for Computing Machinery. 1983, Vol 30, Num 3, pp 612-636, issn 0004-5411Article

A closer look at constraints as processesRAJA, N; SHYAMASUNDAR, R. K.Information processing letters. 2006, Vol 98, Num 5, pp 206-210, issn 0020-0190, 5 p.Article

A new proof of the fixed-point theorem of provability logicREIDHAAR-OLSON, L.Notre Dame journal of formal logic. 1990, Vol 31, Num 1, pp 37-43, issn 0029-4527, 7 p.Article

Modal definability in enriched languagesGORANKO, V.Notre Dame journal of formal logic. 1990, Vol 31, Num 1, pp 81-105, issn 0029-4527, 25 p.Article

Adjectival vs. nominal categorization processes: The Rule vs. Similarity hypothesisSASSOON, Galit W.Belgian journal of linguistics (Print). 2011, Num 25, pp 104-147, issn 0774-5141, 44 p.Article

Assessing the modality particles of the Yi group in fuzzy possible-worlds semantics = Évaluation des particules de modalité du groupe Yi dans la sémantique des mondes possibles flousGERNER, Matthias.Linguistics and philosophy. 2009, Vol 32, Num 2, pp 143-184, issn 0165-0157, 42 p.Article

Processing Temporal Constraints : An ERP StudyBAGGIO, Giosuè.Language learning. 2008, Vol 58, pp 35-55, issn 0023-8333, 21 p., SUP1Conference Paper

What's truth got to do with it? = Qu'est-ce que la vérité a à voir avec elle?HORWICH, Paul.Linguistics and philosophy. 2008, Vol 31, Num 3, pp 309-322, issn 0165-0157, 14 p.Article

Remark on Jacobson 1999 : Crossover as a local constraintBARKER, Chris.Linguistics and philosophy. 2005, Vol 28, Num 4, pp 447-472, issn 0165-0157, 26 p.Article

Objects, associations and subsystems : A hierarchical approach to encapsulationBICARREGUI, J. C; LANO, K. C; MAIBAUM, T. S. E et al.Lecture notes in computer science. 1997, pp 324-343, issn 0302-9743, isbn 3-540-63089-9Conference Paper

Universal marker and functional relation: Semantics and operationsCAO, T. H; CREASY, P. N.Lecture notes in computer science. 1997, pp 416-430, issn 0302-9743, isbn 3-540-63308-1Conference Paper

PDL With data constantsPASSY, S; TINCHEV, T.Information processing letters. 1985, Vol 20, Num 1, pp 35-41, issn 0020-0190Article

Synthesis of communicating processes from temporal logic specificationsMANNA, Z; WOLPER, P.ACM transactions on programming languages and systems. 1984, Vol 6, Num 1, pp 68-93, issn 0164-0925Article

  • Page / 73