BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
project (2)
equat (1)
automat (1)
execut (1)
instruct (1)

Stem otter$ (all stems)

7 papers:

IJCARIJCAR-2014-BeesonW #geometry #proving
OTTER Proofs in Tarskian Geometry (MB, LW), pp. 495–510.
KEODKEOD-2011-Tinsley #ontology #realtime
OTTER Project — Ontology Technology that Executes Real-time: Project Status (TAT), pp. 521–527.
IJCARIJCAR-2001-FormisanoOT #equation
Instructing Equational Set-Reasoning with Otter (AF, EGO, MT), pp. 152–167.
HPDCHPDC-1998-QuinnMS #matlab #named
Otter: Bridging the Gap between MATLAB and ScaLAPACK (MJQ, AGM, NS), pp. 114–121.
DACDAC-1994-GuptaP #named #termination
OTTER: Optimal Termination of Transmission Lines Excluding Radiation (RG, LTP), pp. 640–645.
CADECADE-1994-BourelyCP #automation #modelling
A Method for Building Models Automatically. Experiments with an Extension of OTTER (CB, RC, NP), pp. 72–86.
CADECADE-1994-SlaneyLM #named #semantics
SCOTT: Semantically Constrained Otter System Description (JKS, ELL, WM), pp. 764–768.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.