Author: "Pnueli, A." / Topic: turing machine - Searchworks@Jio Institute Digital Library Search Results

Your search keyword '"Pnueli, A."' showing total 174 results

Start Over Author "Pnueli, A." Topic turing machine

174 results on '"Pnueli, A."'

1. Refining the Undecidability Frontier of Hybrid Automata

Author: Mysore, Venkatesh, Pnueli, Amir, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Sarukkai, Sundar, editor, and Sen, Sandeep, editor
Published: 2005
Full Text: View/download PDF

2. Computable Quantifiers and Logics over Finite Structures

Author: Makowsky, Johann A., Pnueli, Yachin B., Hintikka, Jaakko, editor, van Dalen, Dirk, editor, Davidson, Donald, editor, Kuipers, Theo A. F., editor, Suppes, Patrick, editor, Woleński, Jan, editor, Krynicki, Michał, editor, Mostowski, Marcin, editor, and Szczerba, Lesław W., editor
Published: 1995
Full Text: View/download PDF

3. Oracles and quantifiers

Author: Makowsky, J. A., Pnueli, Y. B., Goos, Gerhard, editor, Hartmanis, Juris, editor, Börger, Egon, editor, Gurevich, Yuri, editor, and Meinke, Karl, editor
Published: 1994
Full Text: View/download PDF

4. Refining the Undecidability Frontier of Hybrid Automata

Author: Amir Pnueli and Venkatesh Mysore
Subjects: Discrete mathematics, Reachability problem, Undecidable problem, Decidability, Combinatorics, Turing machine, symbols.namesake, Reachability, Hybrid system, symbols, Piecewise, Hybrid automaton, Computer Science::Formal Languages and Automata Theory, Mathematics
Abstract: Reachability becomes undecidable in hybrid automata (HA) that can simulate a Turing (TM) or Minsky (MM) machine. Asarin and Schneider have shown that, between the decidable 2-dim Piecewise Constant Derivative (PCD) class and the undecidable 3-dim PCD class, there lies the “open” class 2-dim Hierarchical PCD (HPCD). This class was shown to be equivalent to the class of 1-dim Piecewise Affine Maps (PAM). In this paper, we first explore 2-dim HPCD's proximity to decidability, by showing that they are equivalent to 2-dim PCDs with translational resets, and to HPCDs without resets. A hierarchy of intermediates also equivalent to the HPCD class is presented, revealing semblance to timed and initialized rectangular automata. We then explore the proximity to the undecidability frontier. We show that 2-dim HPCDs with zeno executions or integer-checks can simulate the 2-counter MM. We conclude by retreating HPCDs as PAMs, to derive a simple over-approximating algorithm for reachability. This also defines a decidable subclass 1-dim Onto PAM (oPAM). The novel non-trivial transformation of 2-dim HPCDs into “almost decidable” systems, is likely to pave the way for approximate reachability algorithms, and the characterization of decidable subclasses. It is hoped that these ideas eventually coalesce into a complete understanding of the reachability problem for the class 2-dim HPCD (1-dim PAM).
Published: 2005

5. Computable Quantifiers and Logics over Finite Structures

Author: Johann A. Makowsky and Yachin Pnueli
Subjects: Discrete mathematics, Model checking, Transitive closure, Algebra, Mathematics::Logic, Turing machine, symbols.namesake, Computer Science::Logic in Computer Science, Bounded quantifier, Complexity class, symbols, Computer Science::Formal Languages and Automata Theory, Computer Science::Databases, Mathematics
Abstract: We explore the notion of computable quantifiers over finite structures and use them to give a unified treatment of the theory of computable queries in databases and logics capturing complexity classes. We use this framework also to discuss generalized Ehrenfeucht—Fraisse games and their applications to complexity theory.
Published: 1995

6. Bounded reductions

Author: Buhrman, Harry, Spaan, Edith, Torenvliet, Leen, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Choffrut, Christian, editor, and Jantzen, Matthias, editor
Published: 1991
Full Text: View/download PDF

7. Functional oracle queries as a measure of parallel time

Author: Àlvarez, Carme, Balcázar, José L., Jenner, Birgit, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Choffrut, Christian, editor, and Jantzen, Matthias, editor
Published: 1991
Full Text: View/download PDF

8. Nondeterminism within P

Author: Buss, Jonathan F., Goldsmith, Judy, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Choffrut, Christian, editor, and Jantzen, Matthias, editor
Published: 1991
Full Text: View/download PDF

9. Interactive proof systems and alternating time-space complexity

Author: Fortnow, Lance, Lund, Carsten, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Choffrut, Christian, editor, and Jantzen, Matthias, editor
Published: 1991
Full Text: View/download PDF

10. Randomized polynomials, threshold circuits, and the polynomial hierarchy

Author: Tarui, Jun, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Choffrut, C., editor, and Jantzen, M., editor
Published: 1991
Full Text: View/download PDF

11. The owner concept for PRAMs

Author: Rossmanith, Peter, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Choffrut, Christian, editor, and Jantzen, Matthias, editor
Published: 1991
Full Text: View/download PDF

12. Linear bounded automata and rewrite systems : Influence of initial configurations on decision properties

Author: Caron, A-C, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüuller, G., editor, Stoer, J., editor, Wirth, N., editor, Abramsky, S., editor, and Maibaum, T. S. E., editor
Published: 1991
Full Text: View/download PDF

13. Counting the number of solutions : A survey of recent inclusion results in the area of counting classes

Author: Torán, Jacobo, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Rovan, Branislav, editor
Published: 1990
Full Text: View/download PDF

14. One-way functions in complexity theory

Author: Selman, Alan L., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Rovan, Branislav, editor
Published: 1990
Full Text: View/download PDF

15. Type inference problems: A survey

Author: Tiuryn, Jerzy, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Rovan, Branislav, editor
Published: 1990
Full Text: View/download PDF

16. Restricted branching programs and their computational power

Author: Meinel, Christoph, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Rovan, Branislav, editor
Published: 1990
Full Text: View/download PDF

17. Separating ⊕L from L, NL, co-NL and AL (=P) for Oblivious turing machines of linear access time

Author: Krause, Matthias, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Rovan, Branislav, editor
Published: 1990
Full Text: View/download PDF

18. Minimal nontrivial space complexity of probabilistic one- way turing machines

Author: Kaņeps, Jānis, Freivalds, Rūsiņš, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Rovan, Branislav, editor
Published: 1990
Full Text: View/download PDF

19. Speed-up theorem without tape compression

Author: Geffert, Viliam, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Rovan, Branislav, editor
Published: 1990
Full Text: View/download PDF

20. Using inductive counting to simulate nondeterministic computation

Author: Buntrock, Gerhard, Hemachandra, Lane A., Siefkes, Dirk, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Rovan, Branislav, editor
Published: 1990
Full Text: View/download PDF

21. Oracles versus proof techniques that do not relativize

Author: Allender, Eric, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Asano, Tetsuo, editor, Ibaraki, Toshihide, editor, Imai, Hiroshi, editor, and Nishizeki, Takao, editor
Published: 1990
Full Text: View/download PDF

22. Structural complexity theory: Recent surprises

Author: Hartmanis, Juris, Chang, Richard, Ranjan, Desh, Rohatgi, Pankaj, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Gilbert, John R., editor, and Karlsson, Rolf, editor
Published: 1990
Full Text: View/download PDF

23. Additional queries to random and pseudorandom oracles

Author: Book, Ronald V., Lutz, Jack H., Tang, Shouwen, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

24. A formal study of learning via queries

Author: Watanabe, Osamu, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

25. Normalizing and accelerating RAM computations and the problem of reasonable space measures

Author: Wiedermann, Juraj, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

26. Nondeterministic computations in sublogarithmic space and space constructibility

Author: Geffert, Viliam, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

27. Ω-branching programs of bounded width

Author: Meinel, Christoph, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Börger, Egon, editor, Büning, Hans Kleine, editor, and Richter, Michael M., editor
Published: 1990
Full Text: View/download PDF

28. On the power of bounded concurrency II: The pushdown automata level

Author: Hirst, Tirza, Harel, David, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Arnold, A., editor
Published: 1990
Full Text: View/download PDF

29. The complexity of graph problems for succinctly represented graphs

Author: Lozano, Antonio, Balcázar, José L., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Nagl, Manfred, editor
Published: 1990
Full Text: View/download PDF

30. A note on the almost-everywhere hierarchy for nondeterministic time

Author: Allender, Eric, Beigel, Richard, Hertrampf, Ulrich, Homer, Steven, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Choffrut, Christian, editor, and Lengauer, Thomas, editor
Published: 1990
Full Text: View/download PDF

31. Counting classes: Thresholds, parity, mods, and fewness

Author: Beigel, Richard, Gill, John, Hertramp, Ulrich, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Choffrut, Christian, editor, and Lengauer, Thomas, editor
Published: 1990
Full Text: View/download PDF

32. Efficient checking of computations

Author: Lipton, Richard J., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Choffrut, Christian, editor, and Lengauer, Thomas, editor
Published: 1990
Full Text: View/download PDF

33. Combinatorial rewriting on traces

Author: Diekert, Volker, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Choffrut, Christian, editor, and Lengauer, Thomas, editor
Published: 1990
Full Text: View/download PDF

34. On the Complexity of Pseudo-Random Sequences - or: If You Can Describe a Sequence It Can’t be Random

Author: Beth, Thomas, Dai, Zong-Duo, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Quisquater, Jean-Jacques, editor, and Vandewalle, Joos, editor
Published: 1990
Full Text: View/download PDF

35. Divertible Zero Knowledge Interactive Proofs and Commutative Random Self-Reducibility

Author: Okamoto, Tatsuaki, Ohta, Kazuo, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Quisquater, Jean-Jacques, editor, and Vandewalle, Joos, editor
Published: 1990
Full Text: View/download PDF

36. On the formal aspects of approximation algorithms

Author: Rolim, José D. P., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Akl, S. G., editor, Fiala, F., editor, and Koczkodaj, W. W., editor
Published: 1990
Full Text: View/download PDF

37. Some remarks on polynomial time isomorphisms

Author: Wang, Jie, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Akl, S. G., editor, Fiala, F., editor, and Koczkodaj, W. W., editor
Published: 1990
Full Text: View/download PDF

38. Hardware algorithms for VLSI systems

Author: Yasuura, Hiroto, Yajima, Shuzo, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Kunii, Tosiyasu L., editor
Published: 1984
Full Text: View/download PDF

39. Connections with language theory

Author: Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Taubner, Dirk A.
Published: 1989
Full Text: View/download PDF

40. Some properties of space-bounded synchronized alternating turing machines with only universal states

Author: Slobodová, Anna, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Dassow, J., editor, and Kelemen, J., editor
Published: 1989
Full Text: View/download PDF

41. A survey of two-dimensional automata theory

Author: Inoue, Katsushi, Takanami, Itsuo, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Dassow, J., editor, and Kelemen, J., editor
Published: 1989
Full Text: View/download PDF

42. Questions of decidability for context-free chain code picture languages

Author: Hinz, Friedheld, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Dassow, J., editor, and Kelemen, J., editor
Published: 1989
Full Text: View/download PDF

43. Complexity theory and formal languages

Author: Lange, Klaus-Jörn, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Dassow, J., editor, and Kelemen, J., editor
Published: 1989
Full Text: View/download PDF

44. Domino games with an application to the complexity of boolean algebras with bounded quantifier alternations

Author: Grädel, Erich, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Cori, Robert, editor, and Wirsing, Martin, editor
Published: 1988
Full Text: View/download PDF

45. How to Solve any Protocol Problem - An Efficiency Improvement (Extended Abstract)

Author: Goldrcich, Oded, Vainish, Ronen, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Pomerance, Carl, editor
Published: 1988
Full Text: View/download PDF

46. Direct Minimum-Knowledge Computations (Extended Abstract)

Author: Impagliazzo, Russell, Yung, Moti, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Pomerance, Carl, editor
Published: 1988
Full Text: View/download PDF

47. The computational complexity of cellular automata

Author: Sutner, Klaus, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Csirik, J., editor, Demetrovics, J., editor, and Gécseg, F., editor
Published: 1989
Full Text: View/download PDF

48. Representation of recursively enumerable languages using alternating finite tree recognizers

Author: Salomaa, Kai, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Csirik, J., editor, Demetrovics, J., editor, and Gécseg, F., editor
Published: 1989
Full Text: View/download PDF

49. Extensional properties of sets of time bounded complexity (extended abstract)

Author: Maass, Wolfgang, Slaman, Theodore A., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Csirik, J., editor, Demetrovics, J., editor, and Gécseg, F., editor
Published: 1989
Full Text: View/download PDF

50. Complexity classes with complete problems between P and NP-C

Author: Àlvarez, Carme, Díaz, Josep, Torán, Jacobo, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Csirik, J., editor, Demetrovics, J., editor, and Gécseg, F., editor
Published: 1989
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results

Searchworks

Select search scope, currently: Articles Catalog books, media & more in Jio Institute collections Articles journal articles & other e-resources

Search

Search Constraints

Refine your results

Search Limiters

Topic

Publication Year Range

Language

Publication Type

Journal

Database

Publisher

174 results on '"Pnueli, A."'

Search Results

Catalog

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources