Works matching DE "GRAPH grammars"


Results: 147
    1
    2
    3
    4
    5
    6

    On the Size-Ramsey Number of Hypergraphs.

    Published in:
    Journal of Graph Theory, 2017, v. 86, n. 1, p. 104, doi. 10.1002/jgt.22115
    By:
    • Dudek, Andrzej;
    • Fleur, Steven La;
    • Mubayi, Dhruv;
    • Rödl, Vojtech
    Publication type:
    Article
    7
    8
    9
    10

    Tree-Based Generation of Restricted Graph Languages.

    Published in:
    International Journal of Foundations of Computer Science, 2024, v. 35, n. 1/2, p. 215, doi. 10.1142/S0129054123480106
    By:
    • Björklund, Henrik;
    • Björklund, Johanna;
    • Ericson, Petter
    Publication type:
    Article
    11

    Jumping Grammars.

    Published in:
    International Journal of Foundations of Computer Science, 2015, v. 26, n. 6, p. 709, doi. 10.1142/S0129054115500409
    By:
    • Křivka, Zbyněk;
    • Meduna, Alexander
    Publication type:
    Article
    12

    PREFACE.

    Published in:
    International Journal of Foundations of Computer Science, 2010, v. 21, n. 5, p. 687, doi. 10.1142/S0129054110007490
    By:
    • CSUHAJ-VARJÚ, ERZSÉBET;
    • ÉSIK, ZOLTÁN
    Publication type:
    Article
    13
    14

    BOOLEAN GRAMMARS AND GSM MAPPINGS.

    Published in:
    International Journal of Foundations of Computer Science, 2010, v. 21, n. 5, p. 799, doi. 10.1142/S0129054110007568
    By:
    • LEHTINEN, TOMMI;
    • OKHOTIN, ALEXANDER;
    • Csuhaj-Varjú, Erzsébet;
    • Ésik, Zoltán
    Publication type:
    Article
    15

    SOLITON AUTOMATA BASED ON TREES.

    Published in:
    International Journal of Foundations of Computer Science, 2007, v. 18, n. 6, p. 1257
    By:
    • JÜRGENSEN, HELMUT;
    • KRAAK, PAULINE;
    • Stiebe, R.
    Publication type:
    Article
    16
    17
    18
    19
    20
    21

    Scope in model transformations.

    Published in:
    Software & Systems Modeling, 2018, v. 17, n. 4, p. 1227, doi. 10.1007/s10270-016-0555-8
    By:
    • Jukšs, Māris;
    • Verbrugge, Clark;
    • Elaasar, Maged;
    • Vangheluwe, Hans
    Publication type:
    Article
    22
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
    36
    37
    38
    39
    40
    41
    42

    VPPE: A Novel Visual Parallel Programming Environment.

    Published in:
    International Journal of Parallel Programming, 2019, v. 47, n. 5/6, p. 1117, doi. 10.1007/s10766-019-00639-w
    By:
    • Quiroz-Fabián, José L.;
    • Román-Alonso, Graciela;
    • Castro-García, Miguel A.;
    • Buenabad-Chávez, Jorge;
    • Boukerche, Azzedine;
    • Aguilar-Cornejo, Manuel
    Publication type:
    Article
    43

    Place-labelled Petri net controlled grammars.

    Published in:
    ScienceAsia, 2017, v. 43, p. 9, doi. 10.2306/scienceasia1513-1874.2017.43S.009
    By:
    • Jan, Nurhidaya Mohamad;
    • Turaev, Sherzod;
    • Wan Heng Fong;
    • Sarmin, Nor Haniza
    Publication type:
    Article
    44

    Test generation from recursive tile systems.

    Published in:
    Software Testing: Verification & Reliability, 2014, v. 24, n. 7, p. 532, doi. 10.1002/stvr.1525
    By:
    • Chédor, Sébastien;
    • Jéron, Thierry;
    • Morvan, Christophe
    Publication type:
    Article
    45
    46
    47

    Herbrand's theorem revisited.

    Published in:
    PAMM: Proceedings in Applied Mathematics & Mechanics, 2016, v. 16, n. 1, p. 905, doi. 10.1002/pamm.201610441
    By:
    • Afshari, Bahareh;
    • Hetzl, Stefan;
    • Leigh, Graham E.
    Publication type:
    Article
    48
    49
    50