9 papers:
MoDELS-2014-MaraeeB #diagrams #uml- Removing Redundancies and Deducing Equivalences in UML Class Diagrams (AM, MB), pp. 235–251.
- MoDELS-2014-MaraeeB #diagrams #uml
- Removing Redundancies and Deducing Equivalences in UML Class Diagrams (AM, MB), pp. 235–251.
CADE-2013-Comon-LundhCS #deduction- Tractable Inference Systems: An Extension with a Deducibility Predicate (HCL, VC, GS), pp. 91–108.
ITiCSE-2010-AlemanO #implementation- SAMtool, a tool for deducing and implementing loop patterns (JLFA, YO), pp. 68–72.
ICLP-2006-Wong #logic programming #source code- Deducing Logic Programs (KSW), pp. 471–472.
SEKE-1994-Hurley #user interface- Deducing structure in systems with separable user interfaces (WDH), pp. 193–200.
- JICSCP-1988-FooRTW88 #deduction
- Deduced Relevant Types and Constructive Negation (NYF, ASR, AT, AW), pp. 126–139.
ICALP-1981-MeyerSM #deduction #logic #problem- The Deducibility Problem in Propositional Dynamic Logic (ARM, RSS, GM), pp. 238–248.
POPL-1978-DowneySS #algorithm #online- Off-Line and On-Line Algorithms for Deducing Equalities (PJD, HS, RS), pp. 158–170.
