José A. Alonso on Nostr: Vers une automatisation de la certification des propriétés de clôture pour Prolog. ...
Vers une automatisation de la certification des propriétés de clôture pour Prolog. ~ Thierry Marianne, Fred Mesnard, Etienne Payet.
https://hal.science/hal-04859406/document #Prolog #LogicProgramming #LPTP
Published at
2025-01-12 07:55:52Event JSON
{
"id": "71bc2642a2637ef5aeaf69ed9a8c086a5b739dbac7ccd0db9bc8e30c6dbaa550",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1736668552,
"kind": 1,
"tags": [
[
"t",
"lptp"
],
[
"t",
"logicprogramming"
],
[
"t",
"prolog"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113814310258266078",
"activitypub"
]
],
"content": "Vers une automatisation de la certification des propriétés de clôture pour Prolog. ~ Thierry Marianne, Fred Mesnard, Etienne Payet. https://hal.science/hal-04859406/document #Prolog #LogicProgramming #LPTP",
"sig": "9bc366a073d63994108b01d593314c41ce1666cad6832cc24f8e50f5c3bf753fcbb539f09330afc7e8b3e2cceda541b1c592a20bbb7c998b5e2bfd352023ab62"
}
