Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
About the unification type of K + Box Box falseBalbiani, Philippe ; Gencer, Cigdem ; Rostamigiv, Maryam ; Tinchev, TinkoAnnals of mathematics and artificial intelligence, 2021-09, Vol.90 [Periódico revisado por pares]Springer VerlagTexto completo disponível |
|
2 |
Material Type: Artigo
|
Frama-C: A software analysis perspectiveKirchner, Florent ; Kosmatov, Nikolai ; Prevosto, Virgile ; Signoles, Julien ; Yakobowski, BorisFormal aspects of computing, 2015-05, Vol.27 (3), p.573-609 [Periódico revisado por pares]London: Springer LondonTexto completo disponível |
|
3 |
Material Type: Artigo
|
Learning any memory-less discrete semantics for dynamical systems represented by logic programsRibeiro, Tony ; Folschette, Maxime ; Magnin, Morgan ; Inoue, KatsumiMachine learning, 2022-10, Vol.111 (10), p.3593-3670 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
|
4 |
Material Type: Artigo
|
SL-COMP: competition of solvers for separation logicSighireanu, MihaelaInternational journal on software tools for technology transfer, 2021-12, Vol.23 (6), p.895-903 [Periódico revisado por pares]Heidelberg: Springer Nature B.VTexto completo disponível |
|
5 |
Material Type: Artigo
|
Communication Pattern Logic: Epistemic and Topological ViewsCastañeda, Armando ; van Ditmarsch, Hans ; Rosenblueth, David A. ; Velázquez, Diego A.Journal of philosophical logic, 2023-10, Vol.52 (5), p.1445-1473 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
|
6 |
Material Type: Artigo
|
Logical reduction of metarulesCropper, Andrew ; Tourret, SophieMachine learning, 2020-07, Vol.109 (7), p.1323-1369 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
|
7 |
Material Type: Artigo
|
Non-termination in Term Rewriting and Logic ProgrammingPayet, EtienneJournal of automated reasoning, 2024-03, Vol.68 (1), p.4, Article 4 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
|
8 |
Material Type: Artigo
|
Extending a brainiac prover to lambda-free higher-order logicVukmirović, Petar ; Blanchette, Jasmin ; Cruanes, Simon ; Schulz, StephanInternational journal on software tools for technology transfer, 2022-02, Vol.24 (1), p.67-87 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
9 |
Material Type: Artigo
|
A Formally Verified Compiler Back-endLeroy, XavierJournal of automated reasoning, 2009-12, Vol.43 (4), p.363-446 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
|
10 |
Material Type: Artigo
|
SCL(EQ): SCL for First-Order Logic with EqualityLeidinger, Hendrik ; Weidenbach, ChristophJournal of automated reasoning, 2023-09, Vol.67 (3), p.22, Article 22 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |