Nigam

Results: 778



#Item
31

PDF Document

Add to Reading List

Source URL: www.nigam.info

Language: English - Date: 2015-08-19 03:48:21
    32

    PDF Document

    Add to Reading List

    Source URL: nigam.info

    Language: English - Date: 2015-06-14 09:20:44
      33

      PDF Document

      Add to Reading List

      Source URL: www.nigam.info

      Language: English - Date: 2014-06-07 07:37:28
        34

        PDF Document

        Add to Reading List

        Source URL: www.nigam.info

        Language: English - Date: 2014-05-06 06:31:15
          35

          PDF Document

          Add to Reading List

          Source URL: www.nigam.info

          Language: English - Date: 2015-07-12 06:10:12
            36

            PDF Document

            Add to Reading List

            Source URL: www.nigam.info

            Language: English - Date: 2014-10-19 05:55:07
              37

              Automated Generation of Focused Proof Systems Vivek Nigam1 , Giselle Reis2 , and Leonardo Lima1 1 Federal University of Para´ıba, Brazil

              Add to Reading List

              Source URL: nigam.info

              Language: English - Date: 2015-07-12 06:09:30
                38

                Towards a Rewriting Framework for Textual Entailment Vivek Nigam1 Centro de Inform´ atica Universidade Federal da Para´ıba

                Add to Reading List

                Source URL: www.nigam.info

                Language: English - Date: 2014-07-24 06:02:57
                  39

                  LSFAMulti-focused Proofs with Different Polarity Assignments Elaine Pimentel

                  Add to Reading List

                  Source URL: www.nigam.info

                  Language: English - Date: 2015-06-14 09:20:44
                    40

                    Towards Timed Models for Cyber-Physical Security Protocols Max Kanovich∗ , Tajana Ban Kirigin† , Vivek Nigam‡ , Andre Scedrov§ and Carolyn Talcott¶ ∗ ∗

                    Add to Reading List

                    Source URL: www.nigam.info

                    Language: English - Date: 2014-07-01 07:22:48
                      UPDATE