VDict - Definition of theory change

search result for theory change in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 Next > Last

CTC computable autoprojector canonicity predomain CA FSM computron sticky analysis consistently complete block transfer computations GRG directed set minimal automaton Universal algebra type assignment link rot Axiom of Choice slim closed term \sqsubseteq LAMBDA cd beta conversion pi-calculus Abstract Machine Notation JRST bug fix monotonic ACT CUCH Computer Software Configuration Item boundedly complete COLD-K bottom F+L AGM Theory for Belief Revision distributive lattice disjoint union proof theory PROSE change management deterministic automaton effective computable root version Ontic complete partial ordering hacking run compactness preserving reduction strategy Gottlob Frege low-bandwidth complete ASL+syntax tree backward analysis tweak Algebra of Communicating Processes Pari race condition combination dogwash semantics join Cornell Theory Center leading linear logic NIAL Annual Change Traffic reflexive nondeterministic automaton B-Method Aegis invariant forward delta CHARITY Godzillagram decision problem Omega-algebraic Business Process Re-engineering

First < Previous 1 2 3 4 5 Next > Last