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 simple fixed point characterization of three-valued stable model semanticsBONNIER, S; NILSSON, U; NÄSLUND, T et al.Information processing letters. 1991, Vol 40, Num 2, pp 73-78, issn 0020-0190Article

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

Semantic MediaWikiKRÖTZSCH, Markus; VRANDECIC, Denny; VÖLKEL, Max et al.Lecture notes in computer science. 2006, pp 935-942, issn 0302-9743, isbn 3-540-49029-9, 1Vol, 8 p.Conference Paper

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

Knowledge services on the semantic WEBMENTZAS, Gregoris; KAFENTZIS, Kostas; GEORGOLIOS, Panos et al.Communications of the ACM. 2007, Vol 50, Num 10, pp 53-58, issn 0001-0782, 6 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

Two set-theoretic approaches to the semantics of adjective-noun combinationsABDULLAH, Nabil; FROST, Richard.Lecture notes in computer science. 2004, pp 546-548, issn 0302-9743, isbn 3-540-22004-6, 3 p.Conference Paper

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

Web 3.0 : Chicken Farms on the Semantic WebHENDLER, Jim.Computer (Long Beach, CA). 2008, Vol 41, Num 1, pp 106-108, issn 0018-9162, 3 p.Article

Special Issue on Semantic IntegrationNOY, Natalya; DOAN, AnHai; HALEVY, Alon et al.The AI magazine. 2005, Vol 26, Num 1, issn 0738-4602, 88 p.Serial Issue

Annotation d'informations textuelles : le cas du web sémantique = Text information annotation: the case of the semantic webPOIBEAU, Thierry.Revue d'intelligence artificielle. 2004, Vol 18, Num 1, pp 139-157, issn 0992-499X, 19 p.Article

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