Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569348420> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W1569348420 endingPage "423" @default.
- W1569348420 startingPage "406" @default.
- W1569348420 abstract "This paper presents work on technology for transformational proof and program development, as used by window inference calculi and transformation systems. The calculi are characterised by a certain class of theorems in the underlying logic. Our transformation system TAS compiles these rules to concrete deduction support, complete with a graphical user interface with command-language-free user interaction by gestures like dragd three such instantiations are presented in the paper." @default.
- W1569348420 created "2016-06-24" @default.
- W1569348420 creator A5001790193 @default.
- W1569348420 creator A5081578222 @default.
- W1569348420 date "2000-01-01" @default.
- W1569348420 modified "2023-09-24" @default.
- W1569348420 title "TAS — A Generic Window Inference System" @default.
- W1569348420 cites W1482892048 @default.
- W1569348420 cites W1485610452 @default.
- W1569348420 cites W1511110335 @default.
- W1569348420 cites W1515454487 @default.
- W1569348420 cites W1541671050 @default.
- W1569348420 cites W1543115413 @default.
- W1569348420 cites W1588663335 @default.
- W1569348420 cites W2039621959 @default.
- W1569348420 cites W2070375989 @default.
- W1569348420 cites W2080782424 @default.
- W1569348420 cites W2107482955 @default.
- W1569348420 cites W2129466151 @default.
- W1569348420 cites W2129538696 @default.
- W1569348420 cites W2147543351 @default.
- W1569348420 cites W2171158936 @default.
- W1569348420 cites W2177760151 @default.
- W1569348420 cites W2495268730 @default.
- W1569348420 cites W4206054285 @default.
- W1569348420 cites W4246207837 @default.
- W1569348420 cites W4249429692 @default.
- W1569348420 cites W4253748132 @default.
- W1569348420 doi "https://doi.org/10.1007/3-540-44659-1_25" @default.
- W1569348420 hasPublicationYear "2000" @default.
- W1569348420 type Work @default.
- W1569348420 sameAs 1569348420 @default.
- W1569348420 citedByCount "9" @default.
- W1569348420 countsByYear W15693484202012 @default.
- W1569348420 countsByYear W15693484202022 @default.
- W1569348420 crossrefType "book-chapter" @default.
- W1569348420 hasAuthorship W1569348420A5001790193 @default.
- W1569348420 hasAuthorship W1569348420A5081578222 @default.
- W1569348420 hasConcept C136764020 @default.
- W1569348420 hasConcept C154945302 @default.
- W1569348420 hasConcept C2776214188 @default.
- W1569348420 hasConcept C2778751112 @default.
- W1569348420 hasConcept C41008148 @default.
- W1569348420 hasConceptScore W1569348420C136764020 @default.
- W1569348420 hasConceptScore W1569348420C154945302 @default.
- W1569348420 hasConceptScore W1569348420C2776214188 @default.
- W1569348420 hasConceptScore W1569348420C2778751112 @default.
- W1569348420 hasConceptScore W1569348420C41008148 @default.
- W1569348420 hasLocation W15693484201 @default.
- W1569348420 hasOpenAccess W1569348420 @default.
- W1569348420 hasPrimaryLocation W15693484201 @default.
- W1569348420 hasRelatedWork W1522356839 @default.
- W1569348420 hasRelatedWork W2352008582 @default.
- W1569348420 hasRelatedWork W2352991918 @default.
- W1569348420 hasRelatedWork W2365235480 @default.
- W1569348420 hasRelatedWork W2367950322 @default.
- W1569348420 hasRelatedWork W2374954631 @default.
- W1569348420 hasRelatedWork W2382602665 @default.
- W1569348420 hasRelatedWork W2983610293 @default.
- W1569348420 hasRelatedWork W3107474891 @default.
- W1569348420 hasRelatedWork W380079223 @default.
- W1569348420 isParatext "false" @default.
- W1569348420 isRetracted "false" @default.
- W1569348420 magId "1569348420" @default.
- W1569348420 workType "book-chapter" @default.