About: Logic in computer science

Documentation

scienceplus.abes.fr version Bêta

scienceplus.abes.fr | explorer

À propos de : Logic in computer science Goto Sponge NotDistinct Permalink

Attributs	Valeurs
type	Concept
rdfs:seeAlso	Computer science
skos:inScheme	MSC 2010
broader concept	General logic
skos:prefLabel	Logic in computer science Logica nell'informatica ÐÐ¾Ð³Ð¸ÐºÐ° Ð² computer science 计算机科学中的逻辑
skos:exactMatch	http://msc2010.org/resources/MSC/2000/03B70
skos:altLabel	Logic in computer science [See also 68-XX] Logica nell'informatica [Vedi anche 68-XX] 计算机科学中的逻辑[参见68-XX]
http://msc2010.org...0/msc2010#seeAlso	Computer science
skos:closeMatch	from MSC1991 value of: Logic of programming, [See also 68Q55, 68Q60]
skos:notation	03B70
skos:note	See also 68-XX.
skos:semanticRelation	Computer science
is rdfs:seeAlso of	Semantics Specification and verification (program logics, model checking, etc.)
is Subject of	Comparing the succinctness of monadic query languages over finite trees Some results on complexity of μ-calculus evaluation in the black-box model 1.0957-Approximation Algorithm for Random MAX-3SAT Probabilistic operational semantics for the lambda calculus A non-uniform finitary relational semantics of system T Idealized coinductive type systems for imperative object-oriented programs An upper bound on the complexity of recognizable tree languages Traced Premonoidal Categories Domain mu-calculus On Core XPath with Inflationary Fixed Points A Note on Negative Tagging for Least Fixed-Point Formulae
is narrower concept of	General logic
is http://msc2010.org...0/msc2010#seeAlso of	Semantics Specification and verification (program logics, model checking, etc.)
is skos:semanticRelation of	Semantics Specification and verification (program logics, model checking, etc.)

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata