Visual control tools: A hidden productivity factor?
- 作者Karen J. Gritzmacher
- 卷第6卷
- 期第4期
- 印刷ISSN1932-2054
- 电子ISSN1932-2062
- 文件大小861.38KB
- 发表时间1987
- DOI10.1002/npr.4040060404
- 页码314-323
Unification in commutative idempotent monoidsFranz Baader; Wolfram Büttner · 1988
On the complexity of Boolean unificationFranz Baader · 1998
Unification in commutative theoriesFranz Baader · 1989
Unification in varieties of idempotent semigroupsFranz Baader · Semigroup Forum · 1987
Deduktion: von der Theorie zur AnwendungFranz Baader; Bernhard Beckert; Tobias Nipkow · 2010
What’s new in Description LogicsFranz Baader · 2011
Automata-Based Axiom PinpointingFranz Baader; Rafael Peñaloza · 2010
Cardinality restrictions on conceptsFranz Baader; Martin Buchheit; Bernhard Hollander · 1996
Linearity: A RoadmapAlves, S.; Fernandez, M.; Florido, M.; Mackie, I. · Journal of Logic and Computation · 2012
Elementary Diagrams in InstitutionsDiaconescu, R. · Journal of Logic and Computation · 2004
A Linear Spine CalculusCervesato, I. · Journal of Logic and Computation · 2003
Propositional primal logic with disjunctionBeklemishev, L.; Gurevich, Y. · Journal of Logic and Computation · 2014
Basic primal infon logicCotrini, C.; Gurevich, Y. · Journal of Logic and Computation · 2013
Computational logic and the socialMartin, U. · Journal of Logic and Computation · 2014
Hoops and Fuzzy LogicEsteva, F. · Journal of Logic and Computation · 2003
Linear Types and LocalityTorrini, P. · Journal of Logic and Computation · 2014