Rewriting logic: Roadmap and bibliography (Q1615001)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Rewriting logic: Roadmap and bibliography
scientific article

    Statements

    title
    Rewriting logic: Roadmap and bibliography (English)
    0 references
    author
    José Meseguer
    0 references
    Narciso Martí-Oliet
    0 references
    publication date
    10 September 2002
    0 references
    zbMATH DE Number
    1798959
    0 references
    Wikidata QID
    Q123905912
    0 references
    describes a project that uses
    CafeOBJ
    0 references
    JPAX
    0 references
    Maude
    0 references
    ELAN
    0 references
    Nuprl
    0 references
    cites work
    Q4702603
    0 references
    Q4536762
    0 references
    Q2703702
    0 references
    Q4472433
    0 references
    Q4223004
    0 references
    Q4222991
    0 references
    Q4222858
    0 references
    Q4223001
    0 references
    Q4222851
    0 references
    Q2767190
    0 references
    Q4222992
    0 references
    Q4536607
    0 references
    Q4222985
    0 references
    Q4536441
    0 references
    Q4222997
    0 references
    Q4264200
    0 references
    Q4222855
    0 references
    Q2782483
    0 references
    Q2703689
    0 references
    Q2778872
    0 references
    Q2769430
    0 references
    Q2734833
    0 references
    Q4222856
    0 references
    Q4222979
    0 references
    Q4222994
    0 references
    Q2703706
    0 references
    Q2703708
    0 references
    Q4934317
    0 references
    Q4222998
    0 references
    Q2703711
    0 references
    Q4222860
    0 references
    Q2715825
    0 references
    Q4222983
    0 references
    Theorem proving modulo
    0 references
    Q2767191
    0 references
    Q4222990
    0 references
    Q4499235
    0 references
    Q4222854
    0 references
    Q4222981
    0 references
    Q4699285
    0 references
    Q4222916
    0 references
    Q2722043
    0 references
    Q2703691
    0 references
    Q4222848
    0 references
    Q4513619
    0 references
    Q4222995
    0 references
    Q2703688
    0 references
    Q4471717
    0 references
    Q3365202
    0 references
    Q4702599
    0 references
    Q2703693
    0 references
    Q4222980
    0 references
    Q4222857
    0 references
    Q2740996
    0 references
    Q4264199
    0 references
    Q4357065
    0 references
    Q2703696
    0 references
    Q4222864
    0 references
    Q4375195
    0 references
    Q4223006
    0 references
    Q2703694
    0 references
    Q4222859
    0 references
    Q4698614
    0 references
    Q4246796
    0 references
    Q2703712
    0 references
    Q3839051
    0 references
    Q4263840
    0 references
    Q4762648
    0 references
    Q2723887
    0 references
    Q3839052
    0 references
    Q4270072
    0 references
    Q2703700
    0 references
    Q4222849
    0 references
    Q4222946
    0 references
    Q4223005
    0 references
    Q4945216
    0 references
    Q2703699
    0 references
    Q4790669
    0 references
    Q4270075
    0 references
    Q4705626
    0 references
    Q4222863
    0 references
    Q2703709
    0 references
    Q2764137
    0 references
    Q4222867
    0 references
    Q2703698
    0 references
    Q2703704
    0 references
    Q4222862
    0 references
    Q4222989
    0 references
    Q4250366
    0 references
    Q4535186
    0 references
    Q4222999
    0 references
    Q4421726
    0 references
    Q2767188
    0 references
    Q4762654
    0 references
    Q4222988
    0 references
    Q2703695
    0 references
    Q2703710
    0 references
    Q4223003
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1615001&oldid=34318155"
    Powered by MediaWiki