Soundness, completeness and non-redundancy of operational semantics for verilog based on denotational semanticsZHU HUIBIAO; BOWEN, Jonathan P; HE JIFENG et al.Lecture notes in computer science. 2002, pp 600-612, issn 0302-9743, isbn 3-540-00029-1, 13 p.Conference Paper

A principled semantics for inpJACOB, Jeremy L; WOOD, Alan M.Lecture notes in computer science. 2000, pp 51-65, issn 0302-9743, isbn 3-540-41020-1Conference Paper

A computation model for Z based on concurrent constraint resolutionGRIESKAMP, W.Lecture notes in computer science. 2000, pp 414-432, issn 0302-9743, isbn 3-540-67944-8Conference Paper

Frege on truth and referenceYOUR GRAU, P.Notre Dame journal of formal logic. 1987, Vol 28, Num 1, pp 132-138, issn 0029-4527Article

Statistical search on the Semantic WebKOBAYASHI, Norio; TOYODA, Tetsuro.Bioinformatics (Oxford. Print). 2008, Vol 24, Num 7, pp 1002-1010, issn 1367-4803, 9 p.Article

Semantics in the Semantic Web: A Critical EvaluationALMEIDA, Mauricio; SOUZA, Renato; FONSECA, Fred et al.Knowledge organization. 2011, Vol 38, Num 3, pp 187-203, issn 0943-7444, 17 p.Article

Semantical antinomies in the logic of sense and denotationANDERSON, C. A.Notre Dame journal of formal logic. 1987, Vol 28, Num 1, pp 99-114, issn 0029-4527Article

Une appréhension interculturelle des inégalités environnementalesCHARLES, Lionel.AIR PUR. 2010, Num 76, pp 17-24, issn 1165-0001, 8 p.Article

APPSEM 2002 : applied semantics (Caminha, 9-15 September 2000, advanced lectures)Barthe, Gilles; Dybjer, Peter; Pinto, Luís et al.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-44044-5, VI, 536 p, isbn 3-540-44044-5Conference Proceedings

Pattern-directed programming system for LispKAWAMURA, T; OHTA, Y; YOSHIDA, Y et al.Systems and computers in Japan. 1988, Vol 19, Num 5, pp 71-81, issn 0882-1666Article

SemMedDB: a PubMed-scale repository of biomedical semantic predicationsKILICOGLU, Halil; SHIN, Dongwook; FISZMAN, Marcelo et al.Bioinformatics (Oxford. Print). 2012, Vol 28, Num 23, pp 3158-3160, issn 1367-4803, 3 p.Article

Maintaining semantics in the design of valid and reversible semistructured viewsYA BING CHEN; TOK WANG LING; MONG LI LEE et al.Lecture notes in computer science. 2005, pp 773-778, issn 0302-9743, isbn 3-540-25334-3, 6 p.Conference Paper

Searching, waiting: and Hoping for Semantic SearchSABROSKI, Suzanne.Online (Weston, CT). 2012, Vol 36, Num 2, pp 21-25, issn 0146-5422, 5 p.Article

The difference between splitting in n and n+1VAN GLABBEEK, R; VAANDRAGER, F.Information and computation (Print). 1997, Vol 136, Num 2, pp 109-142, issn 0890-5401Article

A semantic web approach applied to integrative bioinformatics experimentation : a biological use case with genomics dataPOST, Lennart J. G; ROOS, Marco; MARSHALL, M. Scott et al.Bioinformatics (Oxford. Print). 2007, Vol 23, Num 22, pp 3080-3087, issn 1367-4803, 8 p.Article

Mesure des relations lexico-sémantiques dans des textes scientifiques: problèmes méthodologiques = Measure of the lexical semantic relations in scientific texts: methodology problemsMENARD, N.Meta (Montréal). 1989, Vol 34, Num 3, pp 468-478, issn 0026-0452, 11 p.Article

Ontologies and the Semantic WebHORROCKS, Ian.Communications of the ACM. 2008, Vol 51, Num 12, pp 58-67, issn 0001-0782, 10 p.Article

Full abstraction for HOPLANYGAARD, Mikkel; WINSKEL, Glynn.Lecture notes in computer science. 2003, pp 383-398, issn 0302-9743, isbn 3-540-40753-7, 16 p.Conference Paper

Lost in semantic space : a multi-modal, non-verbal assessment of feature knowledge in semantic dementiaGARRARD, Peter; CARROLL, Erin.Brain. 2006, Vol 129, pp 1152-1163, issn 0006-8950, 12 p., 5Article

Specifying Prolog trace models with a continuation semanticsJAHIER, Erwan; DUCASSE, Mireille; RIDOUX, Olivier et al.Lecture notes in computer science. 2001, Vol 2042, pp 165-181, issn 0302-9743, isbn 3-540-42127-0Conference Paper

Interlinking the Social Web with Semantics : Semantic web updateBOJÄRS, Uldis; BRESLIN, John G; PERISTERAS, Vassilios et al.IEEE intelligent systems. 2008, Vol 23, Num 3, pp 29-40, issn 1541-1672, 12 p.Article

Redesign of a systems engineering language: Formalisation of XBOS, V; KLEIIN, J. J. T.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshopSemantic foundations of engineering design languages. Workshop. 2002, pp 100-118, 19 p.Conference Paper

Equivalence of formal semantics definition methodsCASWELL, M. J. A.Formal aspects of computing. 1997, Vol 9, Num 1, pp 68-77, issn 0934-5043Article

Sémantique logique et dénotationnelle des interpréteurs PROLOG = Logical and denotational semantics of PROLOG interpretersDELAHAYE, J.-P.Informatique théorique et applications (Imprimé). 1988, Vol 22, Num 1, pp 3-42, issn 0988-3754Article

Semantic multimedia (First international conference on semantics and digital media technologies, SAMT 2006, Athens, Greece, December 6-8, 2006)Lecture notes in computer science. 2006, issn 0302-9743, isbn 978-3-540-49335-8, 1Vol, XII-240 p, isbn 978-3-540-49335-8Conference Proceedings