• Facets (new session)
• Description
• Metadata
• Settings
  • Rule: ActivityStreamsMapasEquivalentb3sb3sifpdbprdf-labelfacetshttp://dbpedia.org/resource/inference/rules/dbpedia#http://dbpedia.org/resource/inference/rules/opencyc#http://dbpedia.org/resource/inference/rules/umbel#http://dbpedia.org/resource/inference/rules/yago#http://dbpedia.org/schema/property_rules#http://www.ontologyportal.org/inference/rules/SUMO#http://www.ontologyportal.org/inference/rules/WordNet#http://www.w3.org/2002/07/owl#ldpoplwebskos-transurn:det:rdf:labelvirtrdf-labelvirtrdf-urlNone
    
  • Inverse Functional Properties: Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects
  • "Same As": Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects (recommended) Apply to subjects, objects and predicates (not recommended on big datasets) Apply to predicates only (special use cases only)

About: Formal Aspects of Computing     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatQuarterlyJournals, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)

Type: Thingschema:CreativeWorkperiodical literatureworkwikidata:Q1092563Text (literary theory)wikidata:Q386724yago:WikicatComputerScienceJournalsyago:WikicatSpringerScience+BusinessMediaAcademicJournalsyago:Artifact100021939yago:Creation103129123yago:Object100002684yago:Periodical106593296yago:PhysicalEntity100001930yago:Product104007894yago:Publication106589574yago:Work104599396academic journalwritten workyago:Whole100003553yago:WikicatEnglish-languageJournalsyago:WikicatFormalMethodsPublicationsyago:WikicatPublicationsEstablishedIn1989yago:WikicatQuarterlyJournals New Facet based on Instances of this Class

Formal Aspects of Computing (FAOC) is a peer-reviewed scientific journal published by Springer Science+Business Media, covering the area of formal methods and associated topics in computer science. The editors-in-chief are Jim Woodcock and Cliff Jones. The journal is associated with BCS-FACS, the British Computer Society Formal Aspects of Computing Science Specialist Group. According to the Journal Citation Reports, the journal has a 2010 impact factor of 1.170.