The following pages link to New Generation Computing (Q169889):
Displaying 50 items.
- The recursive resolution method for modal logic (Q1104915) (← links)
- Opening key-note speech (Q1108772) (← links)
- Mixed computation of Prolog programs (Q1108777) (← links)
- Partial evaluation of metaprograms in a ``multiple worlds'' logic language (Q1108779) (← links)
- Partial evaluation with inference rules (Q1108781) (← links)
- A self-applicable partial evaluator and its use in incremental compilation (Q1108782) (← links)
- Specialisation of Prolog and FCP programs using abstract interpretation (Q1108783) (← links)
- Linearity and plan generation (Q1108814) (← links)
- Unfolding rules for GHC programs (Q1108817) (← links)
- Partial evaluation of queries in deductive databases (Q1108821) (← links)
- Composing recursive logic programs with clausal join (Q1109585) (← links)
- Using Prolog for building FROG, a hybrid knowledge representation system (Q1115205) (← links)
- An abstract machine for the implementation of PARLOG on uniprocessors (Q1115584) (← links)
- Existential continuation (Q1115643) (← links)
- An operational formal definition of PROLOG: A specification method and its application (Q1186100) (← links)
- \(\pi\)-RED - a graph reducer for a full-fledged \(\lambda\)-calculus (Q1186104) (← links)
- A typed functional extension of logic programming (Q1186105) (← links)
- Compositional operational semantics for Prolog programs (Q1188120) (← links)
- Compositional model-theoretic semantics for logic programs (Q1205176) (← links)
- Verifying local stratifiability of logic programs and databases (Q1205177) (← links)
- A general criterion for avoiding infinite unfolding during partial deduction (Q1205178) (← links)
- Performance of Muse on switch-based multiprocessor machines (Q1205182) (← links)
- Mixtus: An automatic partial evaluator for full Prolog (Q1313369) (← links)
- Rendez-vous with metric semantics (Q1313370) (← links)
- Well-founded semantics and stratification for ordered logic programs (Q1313371) (← links)
- Towards an efficient evaluation of recursive aggregates in deductive databases (Q1326572) (← links)
- Bounded quantifications for iteration and concurrency in logic programming (Q1326573) (← links)
- Implementing specifications by dynamic inheritance (Q1326576) (← links)
- Undecidable goals for completed acyclic programs (Q1326578) (← links)
- Cut and side-effects in a data-driven implementation of Prolog (Q1329177) (← links)
- Distributed programming with logic tuple spaces (Q1329178) (← links)
- Dynamics of symbol systems (Q1329180) (← links)
- The query complexity of learning DFA (Q1336037) (← links)
- Domains of attraction in autoassociative memory networks (Q1336038) (← links)
- Chance discoveries for making decisions in complex real world (Q1396005) (← links)
- Supporting cross-cultural communication with a large-screen system (Q1396009) (← links)
- The evolution of stochastic regular motifs for protein sequences (Q1396010) (← links)
- Decision process modeling across Internet and real world by double helical model of chance discovery (Q1432006) (← links)
- Chance discovery in medicine -- detection of rare risky events in chronic diseases (Q1432007) (← links)
- Chance discovery and learning minority classes (Q1432009) (← links)
- An approach to discovering risks in development process of large and complex systems (Q1432013) (← links)
- On model selection, Bayesian networks, and the Fisher information integral (Q1670496) (← links)
- Learning causal graphs with latent confounders in weak faithfulness violations (Q1670497) (← links)
- Joint analysis of multiple algorithms and performance measures (Q1670499) (← links)
- An efficient Bayesian network structure learning strategy (Q1670500) (← links)
- Preface: Special issue on quantum physics and logic (Q1670501) (← links)
- A Kochen-Specker system has at least 22 vectors (Q1670503) (← links)
- Semantics for a quantum programming language by operator algebras (Q1670504) (← links)
- Terminality implies no-signalling\dots and much more than that (Q1670505) (← links)
- Tensors, !-graphs, and non-commutative quantum structures (Q1670507) (← links)
