Volltext-Artikel, E-Books und Literaturhinweise aus dem EBSCO Discovery Service

von Kirst, Dominik ; Hostert, Johannes ; Dudenhefner, Andrej ; et al.

The Coq Workshop 2022 ; https://hal.science/hal-03756335 ; The Coq Workshop 2022, Aug 2022, Haifa, Israel

Schlagworte: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]; [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]; [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]; [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]; [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]; [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

• View full text via BASE

von Miller, Dale ; Carayol, Arnaud ; Rondogiannis, Panos ; et al.

Fixed Points in Computer Science 2010 ; 7th Workshop on Fixed Points in Computer Science, FICS 2010 ; https://hal.science/hal-00512377 ; 7th Workshop on Fixed Points in Computer Science, FICS 2010, Aug 2010, Brno, Czech Republic. pp.89

Schlagworte: Fixed points; mu-calculi; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]; [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]; [INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT]

• View full text via BASE

von Miller, Dale ; Carayol, Arnaud ; Rondogiannis, Panos ; et al.

Fixed Points in Computer Science 2010 ; 7th Workshop on Fixed Points in Computer Science, FICS 2010 ; https://hal.science/hal-00512377 ; 7th Workshop on Fixed Points in Computer Science, FICS 2010, Aug 2010, Brno, Czech Republic. pp.89

Schlagworte: Fixed points; mu-calculi; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]; [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]; [INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT]

• View full text via BASE

von Miller, Dale ; Carayol, Arnaud ; Rondogiannis, Panos ; et al.

Fixed Points in Computer Science 2010 ; 7th Workshop on Fixed Points in Computer Science, FICS 2010 ; https://hal.science/hal-00512377 ; 7th Workshop on Fixed Points in Computer Science, FICS 2010, Aug 2010, Brno, Czech Republic. pp.89

Schlagworte: Fixed points; mu-calculi; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]; [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]; [INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT]

• View full text via BASE

von Miller, Dale ; Carayol, Arnaud ; Rondogiannis, Panos ; et al.

Fixed Points in Computer Science 2010 ; 7th Workshop on Fixed Points in Computer Science, FICS 2010 ; https://hal.science/hal-00512377 ; 7th Workshop on Fixed Points in Computer Science, FICS 2010, Aug 2010, Brno, Czech Republic. pp.89

Schlagworte: Fixed points; mu-calculi; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]; [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]; [INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT]

• View full text via BASE

von Schwinghammer, Jan ; Birkedal, Lars ; Pottier, François ; et al.

ISSN: 0960-1295.

Schlagworte: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

• View full text via BASE

von Hoffmann, Joerg ; Koller, Alexander ; Autonomous intelligent machine (MAIA) ; et al.

20th International Conference on Automated Planning and Scheduling (ICAPS'10); https://hal.inria.fr/inria-00491109; 20th International Conference on Automated Planning and Scheduling (ICAPS'10), Aug 2010, Toronto, Canada

Schlagworte: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

• View full text via BASE

von Schwinghammer, Jan ; Sabel, David ; Schmidt-Schauss, Manfred ; et al.

The 2009 SIGPLAN Workshop on ML ; https://hal.inria.fr/inria-00429239 ; The 2009 SIGPLAN Workshop on ML, Oct 2009, Edinburgh, United Kingdom. pp.27-38

Schlagworte: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

• View full text via BASE

von Schmidt-Schauß, Manfred ; Niehren, Joachim ; Schwinghammer, Jan ; et al.

5th IFIP International Conference on Theoretical Computer Science; https://hal.inria.fr/inria-00257279; 5th IFIP International Conference on Theoretical Computer Science, Sep 2008, Milano, Italy. pp.521-535

Schlagworte: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

• View full text via BASE

von Niehren, Joachim ; Sabel, David ; Schmidt-Schauß, Manfred ; et al.

23rd Conference on Mathematical Foundations of Programming Semantics; https://hal.inria.fr/inria-00128861; 23rd Conference on Mathematical Foundations of Programming Semantics, Apr 2007, New Orleans, United States. pp.313-337

Schlagworte: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES; [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

• View full text via BASE

von Niehren, Joachim ; Priesnitz, Tim ; Su, Zhendong ; et al.

14th European Symposium on Programming; https://hal.inria.fr/inria-00536523; 14th European Symposium on Programming, 2005, Edinburgh, United Kingdom. pp.357-373

Schlagworte: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

• View full text via BASE

von Schmidt-Schauss, Manfred ; Sabel, David ; Niehren, Joachim ; et al.

ISSN: 1879-2294.

Schlagworte: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

• View full text via BASE

von Bodirsky, Manuel ; Duchier, Denys ; Niehren, Joachim ; et al.

ACM-SIAM Symposium on Discrete Algorithms - SODA'2003 ; https://inria.hal.science/inria-00536536 ; ACM-SIAM Symposium on Discrete Algorithms - SODA'2003, Jan 2004, New Orleans, Louisiana, United States. pp.59-67 ; http://portal.acm.org/citation.cfm?id=982801

Schlagworte: dominance constraints; algorithme de graphe; graph algorithms; contraintes de dominance; [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]; [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]; [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

• View full text via BASE