Finite

Results: 6380



#Item
231

Mixing Finite Success and Finite Failure in an Automated Prover Alwen Tiu1 , Gopalan Nadathur2 and Dale Miller3 1 INRIA Lorraine, France

Add to Reading List

Source URL: www-users.cs.umn.edu

- Date: 2006-10-22 13:22:47
    232

    S´ eminaire Lotharingien de Combinatoire), Article B51g ON THE NUMBER OF MATROIDS ON A FINITE SET W. M. B. DUKES Abstract. In this paper we highlight some enumerative results concerning

    Add to Reading List

    Source URL: www.mat.univie.ac.at

    - Date: 2004-12-14 13:44:10
      233

      Identifying codes for infinite triangular grids with a finite number of rows Rennan Dantas, Fr´ed´eric Havet, Rudini Sampaio To cite this version: Rennan Dantas, Fr´ed´eric Havet, Rudini Sampaio. Identifying codes fo

      Add to Reading List

      Source URL: hal.archives-ouvertes.fr

      - Date: 2016-12-21 12:31:27
        234

        Declarative Modeling of Finite Mathematics Paul Tarau Department of Computer Science and Engineering University of North Texas PPDP’10, July 2010

        Add to Reading List

        Source URL: logic.cse.unt.edu

        - Date: 2010-07-26 23:06:18
          235

          S´eminaire de Master 2`eme ann´ee Sous la direction de Thomas Blossier C´edric Milliet — 1er d´ecembre 2004 Extending partial isomorphisms of finite graphs

          Add to Reading List

          Source URL: math.univ-lyon1.fr

          - Date: 2009-12-20 09:30:30
            236

            A framework for proof certificates in finite state exploration Quentin Heath and Dale Miller Inria Saclay–ˆIle-de-France ´ LIX, Ecole

            Add to Reading List

            Source URL: www.lix.polytechnique.fr

            - Date: 2015-06-25 16:48:44
              237

              Toward an Ontology for Finite Algebras Bella Manoim Robert W. McGrail ASC Laboratory

              Add to Reading List

              Source URL: ftp.informatik.rwth-aachen.de

              - Date: 2008-09-23 14:36:38
                238

                A Primer on Finite-State Software for Natural Language Processing Kevin Knight and Yaser Al-Onaizan, August 1999 Summary In many practical NLP systems, a lot of useful work is done with finite-state devices. This primer

                Add to Reading List

                Source URL: www.isi.edu

                - Date: 2001-10-30 15:37:58
                  239

                  PRESENTABILITY BY PRODUCTS FOR SOME CLASSES OF GROUPS P. DE LA HARPE AND D. KOTSCHICK A BSTRACT. In various classes of infinite groups, we identify groups that are presentable by products, i.e. groups having finite index

                  Add to Reading List

                  Source URL: www.math.lmu.de

                  - Date: 2016-04-21 01:54:31
                    240

                    Hereditarily Finite Representations of Natural Numbers and Self-Delimiting Codes Paul Tarau Department of Computer Science and Engineering University of North Texas Research supported in part by NSF grant

                    Add to Reading List

                    Source URL: logic.cse.unt.edu

                    - Date: 2010-09-25 09:01:59
                      UPDATE