| Property |
Value |
| dbo:abstract
|
- La conférence Formal Structures for Computation and Deduction (abrégée en FSCD) est une conférence scientifique dans le domaine de l’informatique théorique. Elle est issue de la fusion, en 2016, de deux conférences plus anciennes : Rewriting Techniques and Applications (RTA) et Typed Lambda Calculi and Applications (TLCA). Les deux conférences existaient depuis 1983 pour RTA et 1993 pour TLCA. La fusion a pour but de combiner les thématiques et de les élargir ; les deux conférences avaient lieu en mêmes temps et lieux depuis 2003 ; elles étaient regroupées, avec d'autres conférences, sous le nom Federated Conference on Rewriting, Deduction and Programming (RDP). (fr)
- La conférence Formal Structures for Computation and Deduction (abrégée en FSCD) est une conférence scientifique dans le domaine de l’informatique théorique. Elle est issue de la fusion, en 2016, de deux conférences plus anciennes : Rewriting Techniques and Applications (RTA) et Typed Lambda Calculi and Applications (TLCA). Les deux conférences existaient depuis 1983 pour RTA et 1993 pour TLCA. La fusion a pour but de combiner les thématiques et de les élargir ; les deux conférences avaient lieu en mêmes temps et lieux depuis 2003 ; elles étaient regroupées, avec d'autres conférences, sous le nom Federated Conference on Rewriting, Deduction and Programming (RDP). (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 3582 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:charte
| |
| prop-fr:création
| |
| prop-fr:date
|
- annuelle (fr)
- annuelle (fr)
|
| prop-fr:id
|
- A (fr)
- B (fr)
- A (fr)
- B (fr)
|
| prop-fr:nom
|
- Formal Structures for Computation and Deduction (fr)
- Formal Structures for Computation and Deduction (fr)
|
| prop-fr:site
| |
| prop-fr:siteWeb
| |
| prop-fr:titre
|
- Actes des colloques FSCD (fr)
- Site des conférences FSCD (fr)
- Actes des colloques FSCD (fr)
- Site des conférences FSCD (fr)
|
| prop-fr:type
|
- Conférence académique (fr)
- Conférence académique (fr)
|
| prop-fr:url
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- La conférence Formal Structures for Computation and Deduction (abrégée en FSCD) est une conférence scientifique dans le domaine de l’informatique théorique. Elle est issue de la fusion, en 2016, de deux conférences plus anciennes : Rewriting Techniques and Applications (RTA) et Typed Lambda Calculi and Applications (TLCA). Les deux conférences existaient depuis 1983 pour RTA et 1993 pour TLCA. La fusion a pour but de combiner les thématiques et de les élargir ; les deux conférences avaient lieu en mêmes temps et lieux depuis 2003 ; elles étaient regroupées, avec d'autres conférences, sous le nom Federated Conference on Rewriting, Deduction and Programming (RDP). (fr)
- La conférence Formal Structures for Computation and Deduction (abrégée en FSCD) est une conférence scientifique dans le domaine de l’informatique théorique. Elle est issue de la fusion, en 2016, de deux conférences plus anciennes : Rewriting Techniques and Applications (RTA) et Typed Lambda Calculi and Applications (TLCA). Les deux conférences existaient depuis 1983 pour RTA et 1993 pour TLCA. La fusion a pour but de combiner les thématiques et de les élargir ; les deux conférences avaient lieu en mêmes temps et lieux depuis 2003 ; elles étaient regroupées, avec d'autres conférences, sous le nom Federated Conference on Rewriting, Deduction and Programming (RDP). (fr)
|
| rdfs:label
|
- Formal Structures for Computation and Deduction (fr)
- Formal Structures for Computation and Deduction (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
