Search

Your search keyword '"Ferreira, Fernando"' showing total 68 results
Start Over Author "Ferreira, Fernando" Publisher springer berlin heidelberg
68 results on '"Ferreira, Fernando"'

6. Humans in the Enterprise Interoperability Ecosystem

Author

Luis-Ferreira, Fernando, Panetto, Hervé, Jardim-Goncalves, Ricardo, van der Aalst, Wil, Series editor, Mylopoulos, John, Series editor, Rosemann, Michael, Series editor, Shaw, Michael J., Series editor, Szyperski, Clemens, Series editor, van Sinderen, Marten, editor, and Chapurlat, Vincent, editor

Published
2015
Full Text
View/download PDF

11. A Short Note on Spector’s Proof of Consistency of Analysis

Author

Ferreira, Fernando, 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Cooper, S. Barry, editor, Dawar, Anuj, editor, and Löwe, Benedikt, editor

Published
2012
Full Text
View/download PDF

13. Torque Control of Switched Reluctance Motors Based on Flexible Neural Network

Author

Ge, Baoming, de Almeida, Aníbal T., Ferreira, Fernando J. T. E., 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, Wang, Jun, editor, Liao, Xiao-Feng, editor, and Yi, Zhang, editor

Published
2005
Full Text
View/download PDF

17. A Faster Algorithm for Finding Minimum Tucker Submatrices

Author

Blin, Guillaume, Rizzi, Romeo, Vialette, Stéphane, 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

18. Ergodic-Type Characterizations of Algorithmic Randomness

Author

Bienvenu, Laurent, Day, Adam, Mezhirov, Ilya, Shen, Alexander, 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

19. Processes in Space

Author

Cardelli, Luca, Gardner, Philippa, 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

20. How Powerful Are Integer-Valued Martingales?

Author

Bienvenu, Laurent, Stephan, Frank, Teutsch, Jason, 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

21. Every -Set Is Natural, Up to Turing Equivalence

Author

Spreen, Dieter, 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

22. Quasi-linear Dialectica Extraction

Author

Trifonov, Trifon, 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

23. Proofs, Programs, Processes

Author

Berger, Ulrich, Seisenberger, Monika, 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

24. Inference Concerning Physical Systems

Author

Wolpert, David H., 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

25. Computing with Concepts, Computing with Numbers: Llull, Leibniz, and Boole

Author

Uckelman, Sara L., 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

26. The Ordinal of Skolem + Tetration Is τ 0

Author

Barra, Mathias, Gerhardy, Philipp, 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

27. Kolmogorov Complexity Cores

Author

Souto, André, 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

28. Hairpin Lengthening

Author

Manea, Florin, Martín-Vide, Carlos, Mitrana, Victor, 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

29. What Is the Problem with Proof Nets for Classical Logic?

Author

Straßburger, Lutz, 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

30. Computable Fields and Weak Truth-Table Reducibility

Author

Steiner, Rebecca M., 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

31. Development of a Bacteria Computer: From in silico Finite Automata to in vitro and in vivo

Author

Sakakibara, Yasubumi, 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

32. The Complexity of Explicit Constructions

Author

Santhanam, Rahul, 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

33. On the Completeness of Quantum Computation Models

Author

Arrighi, Pablo, Dowek, Gilles, 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

34. The Strength of the Besicovitch-Davies Theorem

Author

Kjos-Hanssen, Bjørn, Reimann, Jan, 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

35. Infinities in Quantum Field Theory and in Classical Computing: Renormalization Program

Author

Manin, Yuri I., 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

36. Computational Complexity Aspects in Membrane Computing

Author

Mauri, Giancarlo, Leporati, Alberto, Porreca, Antonio E., Zandron, Claudio, 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

37. Computable Ordered Abelian Groups and Fields

Author

Melnikov, Alexander G., 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

38. Three Roots for Leibniz’s Contribution to the Computational Conception of Reason

Author

Pombo, Olga, 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

39. Focusing in Asynchronous Games

Author

Mimram, Samuel, 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

40. A Note on the Least Informative Model of a Theory

Author

Paris, Jeff B., Rad, Soroush R., 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

41. Approximate Self-assembly of the Sierpinski Triangle

Author

Lutz, Jack H., Shutters, Brad, 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

42. Circuit Complexity and Multiplicative Complexity of Boolean Functions

Author

Kojevnikov, Arist, Kulikov, Alexander S., 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

43. Incomputability in Physics

Author

Longo, Giuseppe, 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

44. Higher-Order Containers

Author

Altenkirch, Thorsten, Levy, Paul, Staton, Sam, 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

45. Degrees with Almost Universal Cupping Property

Author

Liu, Jiang, Wu, Guohua, 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

46. Definability in the Subword Order

Author

Kudinov, Oleg V., Selivanov, Victor L., Yartseva, Lyudmila V., 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

47. On Index Sets of Some Properties of Computable Algebras

Author

Khoussainov, Bakhadyr, Morozov, Andrey, 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

48. Undecidability in Weihrauch Degrees

Author

Kudinov, Oleg V., Selivanov, Victor L., Zhukov, Anton V., 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

49. Is Not a Heyting Algebra

Author

Higuchi, Kojiro, 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

50. Lower Bounds for Reducibility to the Kolmogorov Random Strings

Author

Hitchcock, John M., 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, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ferreira, Fernando, editor, Löwe, Benedikt, editor, Mayordomo, Elvira, editor, and Mendes Gomes, Luís, editor

Published
2010
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results