FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000805931> ?p ?o ?g. }

• W2000805931 endingPage "187" @default.
• W2000805931 startingPage "165" @default.
• W2000805931 abstract "The recent advances in computer graphics and multimedia technology provide new means for the visualization of abstract information spaces through the use of multi-dimensional and multi-modal communication channels. In the context of computer-aided verification, this potential can be effectively employed to provide visual notations for mathematical formalisms. We describe a visual system which supports visual presentation and manipulation of temporal sequencing properties expressed in the formalism of computation tree logic. The system enforces a metaphoric transposition of the abstract temporal semantics of the logic onto a concrete visual space through the use of 3D graphics, multiple windowing, color associations, and through the joint and coherent exploitation of both textual and graphic representations. This results in a complex interaction environment supporting syntactic parsing, semantic understanding, and visual editing of temporal expressions." @default.
• W2000805931 created "2016-06-24" @default.
• W2000805931 creator A5037029993 @default.
• W2000805931 creator A5081506611 @default.
• W2000805931 date "1999-04-01" @default.
• W2000805931 modified "2023-09-23" @default.
• W2000805931 title "A Visual Formalism for Computational Tree Logic" @default.
• W2000805931 cites W12726951 @default.
• W2000805931 cites W1506588809 @default.
• W2000805931 cites W1511398151 @default.
• W2000805931 cites W1990100773 @default.
• W2000805931 cites W1996136679 @default.
• W2000805931 cites W2001594070 @default.
• W2000805931 cites W2011315361 @default.
• W2000805931 cites W2036526565 @default.
• W2000805931 cites W2042534580 @default.
• W2000805931 cites W2043557231 @default.
• W2000805931 cites W2050825244 @default.
• W2000805931 cites W2053826520 @default.
• W2000805931 cites W2056276720 @default.
• W2000805931 cites W2064650227 @default.
• W2000805931 cites W2084049505 @default.
• W2000805931 cites W2086050593 @default.
• W2000805931 cites W2106588364 @default.
• W2000805931 cites W2107906466 @default.
• W2000805931 cites W2112445317 @default.
• W2000805931 cites W2117189826 @default.
• W2000805931 cites W2149112249 @default.
• W2000805931 cites W2161484642 @default.
• W2000805931 cites W2164409988 @default.
• W2000805931 cites W2167618636 @default.
• W2000805931 cites W2512638687 @default.
• W2000805931 cites W3121912491 @default.
• W2000805931 doi "https://doi.org/10.1006/jvlc.1998.0108" @default.
• W2000805931 hasPublicationYear "1999" @default.
• W2000805931 type Work @default.
• W2000805931 sameAs 2000805931 @default.
• W2000805931 citedByCount "6" @default.
• W2000805931 countsByYear W20008059312021 @default.
• W2000805931 crossrefType "journal-article" @default.
• W2000805931 hasAuthorship W2000805931A5037029993 @default.
• W2000805931 hasAuthorship W2000805931A5081506611 @default.
• W2000805931 hasConcept C107457646 @default.
• W2000805931 hasConcept C121684516 @default.
• W2000805931 hasConcept C138885662 @default.
• W2000805931 hasConcept C142362112 @default.
• W2000805931 hasConcept C153349607 @default.
• W2000805931 hasConcept C154945302 @default.
• W2000805931 hasConcept C171018156 @default.
• W2000805931 hasConcept C186644900 @default.
• W2000805931 hasConcept C199360897 @default.
• W2000805931 hasConcept C21442007 @default.
• W2000805931 hasConcept C2524010 @default.
• W2000805931 hasConcept C2780878386 @default.
• W2000805931 hasConcept C33923547 @default.
• W2000805931 hasConcept C36464697 @default.
• W2000805931 hasConcept C41008148 @default.
• W2000805931 hasConcept C41895202 @default.
• W2000805931 hasConcept C45357846 @default.
• W2000805931 hasConcept C558565934 @default.
• W2000805931 hasConcept C73301696 @default.
• W2000805931 hasConcept C80444323 @default.
• W2000805931 hasConcept C94375191 @default.
• W2000805931 hasConceptScore W2000805931C107457646 @default.
• W2000805931 hasConceptScore W2000805931C121684516 @default.
• W2000805931 hasConceptScore W2000805931C138885662 @default.
• W2000805931 hasConceptScore W2000805931C142362112 @default.
• W2000805931 hasConceptScore W2000805931C153349607 @default.
• W2000805931 hasConceptScore W2000805931C154945302 @default.
• W2000805931 hasConceptScore W2000805931C171018156 @default.
• W2000805931 hasConceptScore W2000805931C186644900 @default.
• W2000805931 hasConceptScore W2000805931C199360897 @default.
• W2000805931 hasConceptScore W2000805931C21442007 @default.
• W2000805931 hasConceptScore W2000805931C2524010 @default.
• W2000805931 hasConceptScore W2000805931C2780878386 @default.
• W2000805931 hasConceptScore W2000805931C33923547 @default.
• W2000805931 hasConceptScore W2000805931C36464697 @default.
• W2000805931 hasConceptScore W2000805931C41008148 @default.
• W2000805931 hasConceptScore W2000805931C41895202 @default.
• W2000805931 hasConceptScore W2000805931C45357846 @default.
• W2000805931 hasConceptScore W2000805931C558565934 @default.
• W2000805931 hasConceptScore W2000805931C73301696 @default.
• W2000805931 hasConceptScore W2000805931C80444323 @default.
• W2000805931 hasConceptScore W2000805931C94375191 @default.
• W2000805931 hasIssue "2" @default.
• W2000805931 hasLocation W20008059311 @default.
• W2000805931 hasOpenAccess W2000805931 @default.
• W2000805931 hasPrimaryLocation W20008059311 @default.
• W2000805931 hasRelatedWork W1483709221 @default.
• W2000805931 hasRelatedWork W1505486987 @default.
• W2000805931 hasRelatedWork W1532729392 @default.
• W2000805931 hasRelatedWork W1765818698 @default.
• W2000805931 hasRelatedWork W1858726467 @default.
• W2000805931 hasRelatedWork W1876133525 @default.
• W2000805931 hasRelatedWork W1919822314 @default.
• W2000805931 hasRelatedWork W199215261 @default.
• W2000805931 hasRelatedWork W1996927234 @default.
• W2000805931 hasRelatedWork W1998540944 @default.

• next