Results 281 to 290 of about 358,022 (298)
Some of the next articles are maybe not open access.
Fixpoints and Search in PVS
2010 The Knaster–Tarski theorem asserts the existence of least and greatest fixpoints for any monotonic function on a complete lattice. More strongly, it asserts the existence of a complete lattice of such fixpoints. This fundamental theorem has a fairly straightforward proof.openaire +1 more sourcePVS
2009 Markus Braun-Falco, Henry J. Mankin, Sharon L. Wenger, Markus Braun-Falco, Stephan DiSean Kendall, Gerard C. Blobe, Christoph K. Weber, Richard Lorenz, Guido Adler, David C. Whitcomb, Dhiraj Yadav, Johannes Bode, Martin Wabitsch, Klaus-Michael Debatin, Pamela Fischer Posovzsky, Akmal Hassan, Mosaad Megahed, Tord M. Lundgren, Markus Pfister, Hans-Peter Zenner, Rossana Berardi, Chiara Pierantoni, Mario Scartozzi, Stefano Cascinu, Geoffrey N. Hendy, Johannes Schwarz, Alexander Storch, John-John B. Schnog, Victor E. A. Gerdes, Susanne A. Schneider, Kailash P. Bhatia, Adriana C. Gittenberger-de Groot, Regina Bökenkamp, Marco C. DeRuiter, Alexander K. C. Leung, Andrew L. Wong, Undine E. Lang, Alexander K. C. Leung, Alexander K. C. Leung, Muammer Seyhan, Silke Hofmann, Leena Bruckner-Tuderman, Silke Hofmann, Leena Bruckner-Tuderman, Silke Hofmann, Leena Bruckner-Tuderman, Peter Kopp, Douglas Forrest, Emine Dibek Misirlioğlu, Nursel Alpan, Mark Oette, Massimo Imazio, Kavitha M. Chinnaiyan, Laxmi S. Mehta, Mushtaq A. Bhat, Javeed I. Bhat, Gerald Stöber, André Reis, Jan Rémi, Soheyl Noachtar, Karin Jurkat-Rott, Frank Lehmann-Horn, Marinella Holzhausen, Nathalie Vergnolle, Martin Schillinger, Hans-Jürgen Gdynia, Albert C. Ludolph, Thomas Namdar, Claus Ferdinand Eisenberger, Wolfram Trudo Knoefel, Pere Ginés, Mónica Guevara, Antonio L. Cuesta-Muñoz, Henk Eijer, Markus Böhm, Thomas A. Luger, Flemming Güttler, Per Guldberg, Richard Koch, Kathryn Moseley, Graeme Eisenhofer, Karel Pacak, James V. Leonard, Jaak Jaeken, Michael A. Becker, Ulrich Stephani, Kendall S. Frazier, Markus Böhm, Thomas A. Luger, Alexander K. C. Leung, Reginald S. Sauve, Verena Matejas, Martin Zenker, Alexander K. C. Leung, Alexander K. C. Leung, William Lane M. Robson, Stefan Beissert, Alexander K. C. Leung, William Lane M. Robson, Tom Y. Woo, Alexander K. C. Leung, Hugo Ten Cate, Richard W. Light, Patricia T. Bozza, Jorge I. Salluh, Michael A. Jantz, Sergio L. Vargas, Rade Tomic, Jesse Roman, Abdullah F. Mobeireek, Mohammad Khalid, Harrys A. Torres, Roy F. Chemaly, Rade Tomic, Jesse Roman, Richard W. Light, Angela Dispenzieri, Sabine Krause, Hanns Lochmüller, Julia Weihrauch, Thomas Krieg, Wolfgang Kühn, Gerd Walz, Georg H. Merker, Ralf Kubitz, Dieter Häussinger, John-John B. Schnog, Victor E. A. Gerdes, Giovanna Musco, Guido Stoll, Klaus V. Toyka, Alexander K. C. Leung, Alexander K. C. Leung, William Lane M. Robson, Markus Böhm, Thomas A. Luger, Elena Pischik, Raili Kauppinen, Jorge Frank, Thomas Schwarz, Manish Thapar, Herbert. L. Bonkovsky, Jeffrey C. Wagner, A. Gordon Smith, Maria Mela, Ulrich Thalheimer, Dimitrios Samonakis, Andrew K. Burroughs, Maria Mela, Ulrich Thalheimer, Dimitrios Samonakis, Andrew K. Burroughs, Yogesh M. Shastri, Jürgen M. Stein, Ronnen H. Segman, Arieh Y. Shalev, Giris Jacob, David Robertson, Alexander K. C. Leung, William Lane M. Robson, Alexander K. C. Leung, Katja Lampinen, Karolina Kublickiene, Risto Kaaja, Radosław Lenarczyk, Oskar Kowalski, Zbigniew Kalarus, Dan Wichterle, Alexander K. C. Leung, Jamie Maguire, Istvan Mody, Katrien Janssens, Filip Vanhoenacker, Wim Van Hul, Hans-Jürgen Gdynia, Albert C. Ludolph, James V. Leonard, Hugo Ten Cate, Karel Geboes, Gert Van Assche, Hugo Ten Cate, Jo H. M. Berden, Toin H. Van Kuppevelt, Angelique L. Rops, Hugo Ten Cate, Hugo Ten Cate, Jorge Frank, Thomas Schwarz, Christina M. Ambros-Rudolph, Valéria Lamounier-Zepter, Christie P. Thomas, Christie P. Thomas, Christie P. Thomas, Christian A. Koch, Lee S. Weinstein, Caroline Silve, Alexander K. C. Leung, Jouni Uitto, Qiujie Jiang, Alexander K. C. Leung +199 moreopenaire +1 more source
