Jean-Yves Marion And NotThéorie information
List of bibliographic references
Number of relevant bibliographic references: 12.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000253 | Guillaume Bonfante [France] ; Matthieu Kaczmarek [France] ; Jean-Yves Marion [France] | Architecture of a morphological malware detector : EICAR 2008 |
| 000276 | Jérome Besombes [France] ; Jean-Yves Marion [France] | LEARNING DISCRETE CATEGORIAL GRAMMARS FROM STRUCTURES |
| 000285 | Marco Gaboardi [Italie] ; Simona Ronchi Della Rocca [Italie] ; Jean-Yves Marion [France] | A Logical Account of PSPACE |
| 000301 | Jérome Besombes [France] ; Jean-Yves Marion [France] | Learning tree languages from positive examples and membership queries |
| 000376 | Olivier Bournez [France] ; Felipe Cucker [Hong Kong] ; Paulin Jacobe De Naurois [France] ; Jean-Yves Marion [France] | Implicit complexity over an arbitrary structure : Quantifier alternations |
| 000385 | Pascal Fontaine [France] ; Jean-Yves Marion [France] ; Stephan Merz [France] ; Leonor Prensa Nieto [France] ; Alwen Tiu [France] | Expressiveness + automation + soundness : Towards combining SMT solvers and interactive proof assistants |
| 000462 | Guillaume Bonfante [France] ; Jean-Yves Marion [France] ; Jean-Yves Moyen [France] | Quasi-interpretations and small space bounds |
| 000596 | Jérome Besombes [France] ; Jean-Yves Marion [France] | Learning tree languages from positive examples and membership queries |
| 000708 | Jérome Besombes [France] ; Jean-Yves Marion [France] | Efficient learning of regular tree languages and applications |
| 000894 | Guillaume Bonfante [France] ; Jean-Yves Marion [France] ; Jean-Yves Moyen [France] | On lexicographic termination ordering with space bound certifications |
| 000921 | Jean-Yves Marion [France] | Actual arithmetic and feasibility |
| 000A06 | Jean-Yves Marion [France] ; J.-Y. Moyen [France] | Efficient first order functional program interpreter with time bound certifications |
| This area was generated with Dilib version V0.6.33. |  |